src/test/ui/pattern/pattern-tyvar.rs

   1 enum Bar { T1((), Option<Vec<isize>>), T2 }
   2
   3 fn foo(t: Bar) {
   4     match t {
   5       Bar::T1(_, Some::<isize>(x)) => { //~ ERROR mismatched types
   6         println!("{}", x);
   7       }
   8       _ => { panic!(); }
   9     }
  10 }
  11
  12 fn main() { }