enum P {
C(PC),
}
enum PC {
Q,
QA,
fn test(proto: P) {
match proto { //~ ERROR non-exhaustive patterns
P::C(PC::Q) => (),
fn main() {}