[rustc.git] / src / test / ui / pattern / usefulness / issue-15129.stderr

error[E0004]: non-exhaustive patterns: `(T::T1(()), V::V2(_))` and `(T::T2(()), V::V1(_))` not covered
  --> $DIR/issue-15129.rs:12:11
   |
LL |     match (T::T1(()), V::V2(true)) {
   |           ^^^^^^^^^^^^^^^^^^^^^^^^ patterns `(T::T1(()), V::V2(_))` and `(T::T2(()), V::V1(_))` not covered
   |
   = note: the matched value is of type `(T, V)`
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
   |
LL ~         (T::T2(()), V::V2(b)) => (),
LL ~         (T::T1(()), V::V2(_)) | (T::T2(()), V::V1(_)) => todo!(),
   |

error: aborting due to previous error

For more information about this error, try `rustc --explain E0004`.
Commit	Line	Data
f2b60f7d	1	error[E0004]: non-exhaustive patterns: `(T::T1(()), V::V2(_))` and `(T::T2(()), V::V1(_))` not covered
0731742a	2	--> $DIR/issue-15129.rs:12:11
8faf50e0 XL	3	\|
8faf50e0 XL	4	LL \| match (T::T1(()), V::V2(true)) {
f2b60f7d	5	\| ^^^^^^^^^^^^^^^^^^^^^^^^ patterns `(T::T1(()), V::V2(_))` and `(T::T2(()), V::V1(_))` not covered
532ac7d7	6	\|
ba9703b0	7	= note: the matched value is of type `(T, V)`
5e7ed085 FG	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
	9	\|
	10	LL ~ (T::T2(()), V::V2(b)) => (),
f2b60f7d	11	LL ~ (T::T1(()), V::V2(_)) \| (T::T2(()), V::V1(_)) => todo!(),
5e7ed085	12	\|
8faf50e0 XL	13
	14	error: aborting due to previous error
	15
	16	For more information about this error, try `rustc --explain E0004`.