Add tests (and a bit of cleanup) for interior mut handling in promotion and const-checking#121893

Merged

bors merged 3 commits intorust-lang:masterfrom

RalfJung:const-interior-mut-tests

Mar 11, 2024

Commits on Mar 2, 2024

add comment and test: we do not do value-based reasoning for promotion of unions
RalfJung
committed

Commits on Mar 11, 2024

const-checking: add some corner case tests, and fix some nits
RalfJung
committed
promote-not: add test that distinguishes promotion from outer scope rule
RalfJung
committed