/src/test/compile-fail/pattern-tyvar-2.rs

 1// -*- rust -*-
 2
 3use std;
 4import option;
 5import option::some;
 6
 7// error-pattern: mismatched types
 8
 9enum bar { t1((), option<~[int]>), t2, }
10
11fn foo(t: bar) -> int { match t { t1(_, some(x)) => { return x * 3; } _ => { fail; } } }
12
13fn main() { }