I mean... the type checker is a static analyzer. Why not bake the most commonly seen type error into the language's type checker? For all of its flaws, at lea

I mean... the type checker is a static analyzer. Why not bake the most commonly seen type error into the language's type checker? For all of its flaws, at least C++ made null references undefined behavior. Coming from (pre-NotNull) Java, it's nice to avoid lots of defensive null-check boilerplate.