1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
// -*- rust -*- // error-pattern:non-exhaustive match failure tag t { a; b; } fn main() { auto x = a; alt (x) { case (b) { } } }