Add new `Deinit` statement - #95125

Merged

bors merged 7 commits into

rust-lang:masterfrom

JakobDegen:uninit-variant-rvalue

Apr 11, 2022

Commits on Apr 11, 2022

Add new `Deinit` statement kind
JakobDegen
committed
9b6b1a6
Document semantics of `Deinit` and `SetDiscriminant` MIR statements
JakobDegen
committed
4cbe13a
Bless tests that broke in a trivial way due to change in deaggregation
JakobDegen
committed
fe796cd
Fix tests broken by deaggregation change
JakobDegen
committed
2a04028
Add const eval tests ensuring padding gets correctly marked as deinit on deaggregation
JakobDegen
committed
f7ca97a
Add new `MutatatingUseContext`s for deinit and `SetDiscriminant`
JakobDegen
committed
48b01a0
Remove inlining cost of `Deinit` statements
JakobDegen
committed
2f03767