The most frustrating part about it for me it's Andrew's argument: just write correct code. I have C at home.
In the future, tooling can run those checks statically on IR.
In the future, tooling can run those checks statically on IR.