src/test/ui/binop/binop-typeck.rs

// issue #500

fn main() {
    let x = true;
    let y = 1;
    let z = x + y;
    //~^ ERROR binary operation `+` cannot be applied to type `bool`
}