[andraz]

Maybe... or maybe there would be just a flag to enable all this and be fine with consequences.

[mjburgess]

..have you used Rust?

> just a flag to enable all this and be fine with consequences

Is probably the opposite of what the language is about.

[wongarsu]

Reasoning about the consequences along a couple functions in your hot path is one thing. Reasoning about the consequences in your entire codebase and all libraries is quite another.