blob: b077cfd3e0ae71a9cb29b0d0099f09858cfdfaf3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// unit-test
// compile-flags: -O
// EMIT_MIR mutable_variable_unprop_assign.main.ConstProp.diff
fn main() {
let a = foo();
let mut x: (i32, i32) = (1, 2);
x.1 = a;
let y = x.1;
let z = x.0; // this could theoretically be allowed, but we can't handle it right now
}
#[inline(never)]
fn foo() -> i32 {
unimplemented!()
}
|