Skip to content

Miri read_discriminant: return a scalar instead of raw underlying bytes#72419

Merged
bors merged 7 commits into
rust-lang:masterfrom
RalfJung:read-discriminant
May 30, 2020
Merged

Miri read_discriminant: return a scalar instead of raw underlying bytes#72419
bors merged 7 commits into
rust-lang:masterfrom
RalfJung:read-discriminant

more type sanity checks in Miri

c4b6224
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs