| // 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 | |
| } |