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


1
2
3
4
5
6
7
8
9
10
11
12
13

// -*- rust -*-

use std;
import option;
import option::some;

// error-pattern: mismatched types

tag bar { t1((), option::t<[int]>); t2; }

fn foo(t: bar) -> int { alt t { t1(_, some(x)) { ret x * 3; } _ { fail; } } }

fn main() { }