[zahlman]

... do `unsafe {}` blocks not have the same semantics? I thought that was only about memory safety. Or are you thinking of cases where a wrapped-around integer gets interpreted as a pointer or something?

[steveklabnik]

unsafe never changes the semantics of anything. Unsafe gives you access to additional features, never changes the meaning of a feature.