1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
//! Tests that we bail out when there are multiple assignments to the same local. // unit-test: CopyProp fn val() -> i32 { 1 } fn cond() -> bool { true } // EMIT_MIR branch.foo.CopyProp.diff fn foo() -> i32 { let x = val(); let y = if cond() { x } else { val(); x }; y } fn main() { foo(); }