const checking: do not do value-based reasoning for interior mutability#121786

RalfJung wants to merge 4 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:interior-mut-value-reasoningRalfJung/rust:interior-mut-value-reasoningCopy head branch name to clipboard