You need null pointers for system programming. That said you can already declare `type MyPtr = ptr int not nil` but the compiler is still clunky on proofs and

You need null pointers for system programming. That said you can already declare `type MyPtr = ptr int not nil` but the compiler is still clunky on proofs and needs a lot of help. it is planned to have a much better prover in the future and ultimately Z3 integration for such safety features: https://nim-lang.org/docs/drnim.html https://nim-lang.org/docs/drnim.html