1 error[E0004]: non-exhaustive patterns: `C(QA)` not covered
2 --> $DIR/issue-40221.rs:11:11
5 | ^^^^^ pattern `C(QA)` not covered
8 --> $DIR/issue-40221.rs:2:5
14 = note: the matched value is of type `P`
15 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
17 LL ~ P::C(PC::Q) => (),
18 LL ~ C(QA) => todo!(),
21 error: aborting due to previous error
23 For more information about this error, try `rustc --explain E0004`.