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

// -*- rust -*-
extern mod std;
use option::Some;

// error-pattern: mismatched types

enum bar { t1((), Option<~[int]>), t2, }

fn foo(t: bar) {
    match t {
      t1(_, Some::<int>(x)) => {
        log(debug, x);
      }
      _ => { fail; }
    }
}

fn main() { }