Why does nobody seem to think that `null` is a serious problem in D?

[Sebastiaan Koppe]

On Saturday, 1 December 2018 at 20:41:53 UTC, Sebastiaan Koppe 
wrote:
> Since the compiler can prove which branch is taken, the analyse 
> has to assume both are.

*can't*