[leosarev]

If p is statically null, it should emit compile time error. If not, it should emit machine instruction to deference p.

[tom_mellior]

In all of the examples above it will emit a machine instruction to dereference p. What your grandparent is complaining about is that it will later remove an "if (!p)" test.