2014-06-23 17:12:17 -05:00
|
|
|
pub enum T {
|
|
|
|
T1(()),
|
|
|
|
T2(())
|
|
|
|
}
|
|
|
|
|
|
|
|
pub enum V {
|
2015-01-08 04:54:35 -06:00
|
|
|
V1(isize),
|
2014-06-23 17:12:17 -05:00
|
|
|
V2(bool)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
2014-11-06 02:05:53 -06:00
|
|
|
match (T::T1(()), V::V2(true)) {
|
2014-06-23 17:12:17 -05:00
|
|
|
//~^ ERROR non-exhaustive patterns: `(T1(()), V2(_))` not covered
|
2014-11-06 02:05:53 -06:00
|
|
|
(T::T1(()), V::V1(i)) => (),
|
|
|
|
(T::T2(()), V::V2(b)) => ()
|
2014-06-23 17:12:17 -05:00
|
|
|
}
|
|
|
|
}
|