Hmm. This feels a bit pedantic to me. The `is_null` check looks relegated to the FFI: https://github.com/CausalityLtd/ponyc/blob/975d9f6c60553030e623a7eb27f1ca

Hmm. This feels a bit pedantic to me. The `is_null` check looks relegated to the FFI: https://github.com/CausalityLtd/ponyc/blob/975d9f6c60553030e623a7eb27f1caa6eebb80ec/packages/builtin/pointer.pony https://github.com/CausalityLtd/ponyc/blob/975d9f6c60553030e... Obviously, I have never written anything in Pony, but this absolutely seems like an advanced use case. It exists because 'C' has a concept of null, so it needs to be handled. The manual even admits that all bets are off when dealing with the FFI.