Here: https://doc.rust-lang.org/reference/behavior-considered-unde...

mmm, no, that's an explicitly incomplete list of informally-described observable behaviors that qualify as undefined -- which is fine and good! but quite far from a specification!