1 error[E0004]: non-exhaustive patterns: `(T1(()), V2(_))` and `(T2(()), V1(_))` not covered
2 --> $DIR/issue-15129.rs:12:11
4 LL | match (T::T1(()), V::V2(true)) {
5 | ^^^^^^^^^^^^^^^^^^^^^^^^ patterns `(T1(()), V2(_))` and `(T2(()), V1(_))` not covered
7 = note: the matched value is of type `(T, V)`
8 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern, a match arm with multiple or-patterns as shown, or multiple match arms
10 LL ~ (T::T2(()), V::V2(b)) => (),
11 LL ~ (T1(()), V2(_)) | (T2(()), V1(_)) => todo!(),
14 error: aborting due to previous error
16 For more information about this error, try `rustc --explain E0004`.