Skip to content

Miri engine: stronger type-based sanity check for assignments#70532

Merged
bors merged 4 commits into
rust-lang:masterfrom
RalfJung:miri-assign
Apr 3, 2020
Merged

Miri engine: stronger type-based sanity check for assignments#70532
bors merged 4 commits into
rust-lang:masterfrom
RalfJung:miri-assign

switch assignment check back to testing layout equality

343b3f0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs