1 #![feature(never_type)]
2 #![feature(exhaustive_patterns)]
5 pub struct SecretlyEmpty {
9 pub struct NotSoSecretlyEmpty {
14 struct NotSoSecretlyEmpty {
19 A(foo::SecretlyEmpty),
20 B(foo::NotSoSecretlyEmpty),
21 C(NotSoSecretlyEmpty),
26 let x: Foo = Foo::D(123);
27 let Foo::D(_y) = x; //~ ERROR refutable pattern in local binding: `A(_)` not covered