src/test/ui/pattern/usefulness/issue-15129.rs

   1 pub enum T {
   2     T1(()),
   3     T2(()),
   4 }
   5
   6 pub enum V {
   7     V1(isize),
   8     V2(bool),
   9 }
  10
  11 fn main() {
  12     match (T::T1(()), V::V2(true)) {
  13         //~^ ERROR non-exhaustive patterns: `(T1(()), V2(_))` and `(T2(()), V1(_))` not covered
  14         (T::T1(()), V::V1(i)) => (),
  15         (T::T2(()), V::V2(b)) => (),
  16     }
  17 }