And probably use that "more complex analysis" to p...

# language-proposals

[dmitry.petrov]

And probably use that "more complex analysis" to prove that those checks are not required.
Or rely on redundant null check elimination in bytecode post-processing.