blob: 78ce4c1d2f604cb51e8fb4e8ce3aef2326fcc083 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
// Regression test for #13466
//@ dont-require-annotations: NOTE
pub fn main() {
// The expected arm type `Option<T>` has one type parameter, while
// the actual arm `Result<T, E>` has two. typeck should not be
// tricked into looking up a non-existing second type parameter.
let _x: usize = match Some(1) {
Ok(u) => u,
//~^ ERROR mismatched types
//~| NOTE expected enum `Option<{integer}>`
//~| NOTE found enum `Result<_, _>`
//~| NOTE expected `Option<{integer}>`, found `Result<_, _>`
Err(e) => panic!(e)
//~^ ERROR mismatched types
//~| NOTE expected enum `Option<{integer}>`
//~| NOTE found enum `Result<_, _>`
//~| NOTE expected `Option<{integer}>`, found `Result<_, _>`
};
}
|
