// MIR for `bar` after built | |
fn bar(_1: [(Never, u32); 1]) -> u32 { | |
let mut _0: u32; | |
let _2: u32; | |
scope 1 { | |
debug x => _2; | |
} | |
bb0: { | |
StorageLive(_2); | |
_2 = copy (_1[0 of 1].1: u32); | |
_0 = copy _2; | |
StorageDead(_2); | |
return; | |
} | |
bb1: { | |
FakeRead(ForMatchedPlace(None), _1); | |
unreachable; | |
} | |
} |