I&#x27;ve been wondering if it would make sense to encapsulate internal fields that are part of the unsafe machinery in a type forcing you to use unsafe blocks, even inside the type impl. [edit: Removed note about UnsafeCell since it&#x27;s not really like the thing described above]<p>I haven&#x27;t really played with it though, most of my unsafe use is FFI.