As someone who does a lot of unsafe rust, including tagged pointer foo, I strongly disagree.

If anything I want more explicit control, alleviated with an even more expressive type system. Ideally rusts type system would just be a prolog variant imho.