[Tloewald]

So basically you want the compiler to solve the halting problem for every function it compiles.

[lmm]

Ideally yes. But keeping track of nullability is not impossible, it's not even hard, as any number of existing languages with such checking prove (some of which have very performant compilers).