That’s my whole point! It’s ported to unsafe rust, not default rust.

The point of compiler-based checking would be that you know for sure. If you have to bet, all bets are off.