1 // Regression test for #13466
4 // The expected arm type `Option<T>` has one type parameter, while
5 // the actual arm `Result<T, E>` has two. typeck should not be
6 // tricked into looking up a non-existing second type parameter.
7 let _x: usize = match Some(1) {
9 //~^ ERROR mismatched types
10 //~| expected enum `Option<{integer}>`
11 //~| found enum `Result<_, _>`
12 //~| expected enum `Option`, found enum `Result`
15 //~^ ERROR mismatched types
16 //~| expected enum `Option<{integer}>`
17 //~| found enum `Result<_, _>`
18 //~| expected enum `Option`, found enum `Result`