But Rust still has trap representations, or? In practice, this implies similar constraints as strict aliasing.