Comment by cowlevel

Since the Rust language is defined by the Rust compiler and has no other specification, if it's UB in the compiler then it's UB in the language.