As per my examples, Nim doesn’t even check them all at runtime!
And the halting problem is a cop-out in this case. You can’t automatically detect all unsafe code, but you _can_ enforce “trivial semantic properties” (a la Rice’s theorem) like type-safety and provide conspicuous escape hatches so unsafe code _looks_ unsafe.
