Yep. Beyond that, there is at least one place[0] where the standard library uses undefined behavior "based on its privileged knowledge of rustc internals". [0]

Yep. Beyond that, there is at least one place[0] where the standard library uses undefined behavior "based on its privileged knowledge of rustc internals". [0]: https://doc.rust-lang.org/src/std/io/mod.rs.html#379 https://doc.rust-lang.org/src/std/io/mod.rs.html#379