2013-02-26 21:32:36 +09:00
|
|
|
fn main() {
|
2015-01-31 17:23:42 +01:00
|
|
|
match 0 { 1 => () } //~ ERROR non-exhaustive patterns
|
|
|
|
match 0 { 0 if false => () } //~ ERROR non-exhaustive patterns
|
2023-06-22 01:52:31 -04:00
|
|
|
//-| NOTE match arms with guards don't count towards exhaustivity
|
2013-02-26 21:32:36 +09:00
|
|
|
}
|