I mean, you can just use #[forbid(unsafe_code)] if you really want to. You do have to audit your dependencies, but that's true with OCaml as well (call Obj.magi

I mean, you can just use #[forbid(unsafe_code)] if you really want to. You do have to audit your dependencies, but that's true with OCaml as well (call Obj.magic and all bets are off).