| //@ unit-test: DataflowConstProp | |
| // EMIT_MIR cast.main.DataflowConstProp.diff | |
| // CHECK-LABEL: fn main( | |
| fn main() { | |
| // CHECK: debug a => [[a:_.*]]; | |
| // CHECK: debug b => [[b:_.*]]; | |
| // CHECK: [[a]] = const 257_i32; | |
| let a = 257; | |
| // CHECK: [[b]] = const 2_u8; | |
| let b = a as u8 + 1; | |
| } |