curious, where is the definition of "undefined behavior" for rust specified?
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!
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!