Repository navigation

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

Commits on Apr 2, 2020
- Miri engine: stronger type-based sanity check for assignments
  RalfJung
  committed
  f1ea273
- also accept fn-ptr-type-changing assignments
  RalfJung
  committed
  100c809
- also use mir_assign_valid_types in from_known_layout check
  RalfJung
  committed
  351b7d0
- switch assignment check back to testing layout equality
  RalfJung
  committed
  343b3f0