summaryrefslogtreecommitdiffstats
path: root/src/test/ui/pattern/pat-type-err-let-stmt.rs
blob: 6e9850b655cb9f67183e68062a65699525443aeb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
// Test the `.span_label` to the type / scrutinee
// when there's a type error in checking a pattern.

fn main() {
    // We want to point at the `Option<u8>`.
    let Ok(0): Option<u8> = 42u8;
    //~^ ERROR mismatched types
    //~| ERROR mismatched types

    // We want to point at the `Option<u8>`.
    let Ok(0): Option<u8>;
    //~^ ERROR mismatched types

    // We want to point at the scrutinee.
    let Ok(0) = 42u8; //~ ERROR mismatched types
}