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

http://github.com/jruderman/rust · Rust · 13 lines · 6 code · 5 blank · 2 comment · 1 complexity · 5b1076cd14622d31eedc6f67adba3c30 MD5 · raw file 

    

  1. // -*- rust -*-
    2. 

  2. 

  3. use std;
    4. 

  4. import option;
    5. 

  5. import option::some;
    6. 

  6. 

  7. // error-pattern: mismatched types
    8. 

  8. 

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

  10. 

  11. fn foo(t: bar) -> int { match t { t1(_, some(x)) => { return x * 3; } _ => { fail; } } }
    12. 

  12. 

  13. fn main() { }
    14.