Repository navigation

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

Commits on Aug 3, 2026
- interpret: skip deref-projection validity checks when they are not needed
  RalfJung
  committed
  e0ad63c
- skip ptr-deref validity checks when validity checking is disabled
  RalfJung
  committed
  75505d9