That's not the same thing. It doesn't force users to comply with its idea of safety; it just makes safety the default. I'm completely fine with that.
so does rust! you can do everything you want to in an unsafe { block, even inline assembly. the safe subset of rust is the default
Oh. Huh. I just checked, and you are correct. Thanks for correcting me; I'll update my original comment.