do not reference LLVM in our definition of UB#1750

Merged

ehuss merged 3 commits intorust-lang:masterfrom

RalfJung:ub-is-ours-to-define

Mar 28, 2025

Commits on Mar 5, 2025

do not reference LLVM in our definition of UB
RalfJung
committed

Commits on Mar 10, 2025

clarify liveness rules
RalfJung
committed

Commits on Mar 27, 2025

finesse wording
RalfJung
committed