Skip to content

miri: improve errors for type validity assertion failures#143327

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:miri-type-validity-error
Jul 3, 2025
Merged

miri: improve errors for type validity assertion failures#143327
bors merged 1 commit intorust-lang:masterfrom
RalfJung:miri-type-validity-error

Commits

Commits on Jul 2, 2025