-Zmir-enable-passes: document that this may enable unsound passes#116595

Merged

bors merged 2 commits intorust-lang:masterfrom

RalfJung:mir-enable-passes

Oct 10, 2023

Commits on Oct 10, 2023

-Zmir-enable-passes: document that this may enable unsound passes
RalfJung
committed
add some comments explaining why MIR opts are marked as unsound
RalfJung
committed