// unit-test: CopyProp

// EMIT_MIR issue_107511.main.CopyProp.diff
fn main() {
    let mut sum = 0;
    let a = [0, 10, 20, 30];

    // `i` is assigned in a loop. Only removing its `StorageDead` would mean that
    // execution sees repeated `StorageLive`. This would be UB.
    for i in 0..a.len() {
        sum += a[i];
    }
}