fn main() {
    match Some(10) {
    //~^ NOTE `match` arms have incompatible types
        Some(5) => false,
        //~^ NOTE this is found to be of type `bool`
        Some(2) => true,
        //~^ NOTE this is found to be of type `bool`
        None    => (),
        //~^ ERROR match arms have incompatible types
        //~| NOTE expected bool, found ()
        //~| NOTE expected type `bool`
        _       => true
    }
}