TRPL is too soft on UB

[Gankra]

from the unsafe section:

Okay, let’s try again: what is not safe to do? [list of all UB in Rust]

Doing any of these things is Undefined Behaviour that should be impossible for a safe code to do under any circumstance. Code is unsafe if there are circumstances under which it may do one of these things (bad inputs, bad state).