> That documented use of safe Rust can easily lead to UB The only thing that comes to mind that this could be referring to are the open bugs at https://github.

> That documented use of safe Rust can easily lead to UB The only thing that comes to mind that this could be referring to are the open bugs at https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AI-unsound https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Ais.... Are these what you're referring to? > this infernal 'internal compiler representation' What makes MIR "infernal"? > I'm not even sure what is even remotely confusing about that? You posted a link to a tool that executes pure rust libraries and evaluates memory accesses (both from safe and unsafe rust code) to assert whether they conform to the rust memory model. It sits in the same space as valgrind. You left it open to interpretation with really no other context. We can be excused for not knowing what you were trying to say. I personally still don't.