Don't resolve type var roots in point_at_expr_source_of_inferred_type

[rust.git] / tests / ui / binop / binop-typeck.rs

// issue #500

fn main() {
    let x = true;
    let y = 1;
    let z = x + y;
    //~^ ERROR cannot add `{integer}` to `bool`
}