Typesystem soundness hole involving cyclically-defined ATIT, and normalization in trait bounds · Issue #135011 · rust-lang/rust
This isn't quite trivial, but well… it works. a “transmute” in safe Rust: fn main() { let s: String = transmute(vec![65_u8, 66, 67]); println!("{s}"); // ABC } fn transmute