Skip to content

miri: make read_discriminant UB when the tag is not in the validity range of the tag field#153408

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
RalfJung:tag-read-must-be-valid
Mar 11, 2026
Merged

miri: make read_discriminant UB when the tag is not in the validity range of the tag field#153408
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
RalfJung:tag-read-must-be-valid