Jonathan Brouwer b5e4b4ca79 Rollup merge of #154269 - RalfJung:miri-recursive-shallow, r=saethlin ...

miri recursive validation: only check one layer deep

As has been proposed in https://github.com/rust-lang/unsafe-code-guidelines/issues/414, let's see what happens if we make recursive checking in Miri shallow: we treat whatever is behind a reference as if it was inside `MaybeDangling`, which means nested references do not have to be dereferenceable.

This changes the meaning of the original flag -- I don't think it is worth supporting multiple variants of recursive checking (it'd require a bunch of new plumbing), and this seems to be the strictest variant that still has any traction in the discussion.

2026-03-25 19:52:52 +01:00

..

src

Rollup merge of #154269 - RalfJung:miri-recursive-shallow, r=saethlin

2026-03-25 19:52:52 +01:00

Cargo.toml

Convert to inline diagnostics in rustc_const_eval

2026-02-06 22:55:58 +01:00