| #![feature(no_core)] | |
| #![no_core] | |
| enum Foo { | |
| A, | |
| B, | |
| C(char), | |
| D { x: i64, y: i64 }, | |
| } | |
| fn inspect(f: Foo) { | |
| match f { | |
| Foo::A => {} | |
| Foo::B => {} | |
| Foo::C(x) => {} | |
| Foo::D { z } => {} // { dg-error "variant D does not have a field named z" } | |
| // { dg-error "pattern does not mention fields x, y" "" { target *-*-* } .-1 } | |
| } | |
| } |