// PASS probe — a known condition prunes the untaken arm, exactly as
// downstream: every division by zero below sits in a dead arm and must
// NOT be diagnosed.

const Taken = if (true) 1 else 2 / 0
const Other = if (false) 1 / 0 else 2

fn statement() {
    if false {
        _ = 1 / 0
    }
}