Skip to content

interpret: skip deref-projection validity checks when they are not needed - #160399

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
RalfJung:interpret-deref-validity
Aug 4, 2026
Merged

interpret: skip deref-projection validity checks when they are not needed#160399
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
RalfJung:interpret-deref-validity

skip ptr-deref validity checks when validity checking is disabled

75505d9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Aug 3, 2026 in 34s