That's the exact principle I'm talking about- meta-circular implementations shrink the amount of unsafe code and confine it to specific places where it can be better tested and checked.

Rust's unsafe-with-safe-interfaces style is just another way to do that, which honestly is a lot more straightforward.

That is how meta-circular implementations work anyway. You need to have some intrinsics for the really unsafe parts, or get them in Assembly.

Sorry for not getting your point fully.