Skip to content

Comments

Miri: recursive validity: also recurse into Boxes#152756

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
RalfJung:miri-recursive-box
Feb 18, 2026
Merged

Miri: recursive validity: also recurse into Boxes#152756
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
RalfJung:miri-recursive-box

Commits

Commits on Feb 17, 2026