fn foo(x: bool) -> i32 {
    match x {
        x: i32 => x, //~ ERROR expected
        //~^ ERROR mismatched types
        true => 42.,
        false => 0.333,
    }
}

fn main() {
    match foo(true) {
        42: i32 => (), //~ ERROR expected
        _: f64 => (), //~ ERROR expected
        x: i32 => (), //~ ERROR expected
    }
}