Miri: unsized locals and by-value dyn traits#59780

Merged

bors merged 7 commits intorust-lang:masterfrom RalfJung:miri-unsized

Apr 11, 2019

+192-153

Commits on Apr 6, 2019

miri engine: lazily allocate memory for locals on first write
RalfJung
committed

Commits on Apr 8, 2019