Const-prop bugfix: only add propagation inside own block for user variables#71518

Merged

bors merged 7 commits intorust-lang:masterfrom

felix91gr:const_prop_bugfix_just_block_prop

Apr 29, 2020

Commits on Apr 28, 2020

Added regression test for literal propagation and for scalar pair propagation
felix91gr
committed
Blocked `MutatingUseContext::Projection` for all locals of kind `LocalKind::Temp`. Added a cache of `LocalKind`s to `CanConstProp`
felix91gr
committed
Allow Locals to be propagated into and from, but restricted to their own block
felix91gr
committed
Added new ui tests to show what errors MIR can now find at compile time
felix91gr
committed
Added MIR const-prop diff tests to show why some assertions now fail at compile-time
felix91gr
committed
Changed `simplify_match` output query because it had become outdated
felix91gr
committed
Polished documentation, removed not-so-useful-anymore traces, and added some doc comments in `mir/transform/const_prop.rs`
felix91gr
committed