experiment: remove value-based reasoning for interior mutability#122789
Closed
RalfJung wants to merge 2 commits into
Closed
experiment: remove value-based reasoning for interior mutability#122789RalfJung wants to merge 2 commits into
RalfJung wants to merge 2 commits into