// REJECT probe — division and remainder by a known zero are definite errors,
// the one arithmetic rejection the evaluator owns: at file scope, in a `var`
// initializer, through a folded constant divisor, and under an unknown
// numerator. Each marked line must produce exactly one diagnostic.

const D = 1 / 0 // expect-error: division by zero
const M = 5 % 0 // expect-error: division by zero
var V = 1 / 0 // expect-error: division by zero

const Zero = 0
const Through = 7 / Zero // expect-error: division by zero

fn quotient(n usize) usize {
    return n / 0 // expect-error: division by zero
}