TRPL is too soft on UB #26346
Description
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).