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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// -*- rust -*-
use std;
import option;
import option::some;

// error-pattern: mismatched types

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

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

fn main() { }