summaryrefslogtreecommitdiffstats
path: root/src/test/ui/uninhabited/uninhabited-irrefutable.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/uninhabited/uninhabited-irrefutable.rs')
-rw-r--r--src/test/ui/uninhabited/uninhabited-irrefutable.rs28
1 files changed, 0 insertions, 28 deletions
diff --git a/src/test/ui/uninhabited/uninhabited-irrefutable.rs b/src/test/ui/uninhabited/uninhabited-irrefutable.rs
deleted file mode 100644
index 1a0f3c5e5..000000000
--- a/src/test/ui/uninhabited/uninhabited-irrefutable.rs
+++ /dev/null
@@ -1,28 +0,0 @@
-#![feature(never_type)]
-#![feature(exhaustive_patterns)]
-
-mod foo {
- pub struct SecretlyEmpty {
- _priv: !,
- }
-
- pub struct NotSoSecretlyEmpty {
- pub _pub: !,
- }
-}
-
-struct NotSoSecretlyEmpty {
- _priv: !,
-}
-
-enum Foo {
- A(foo::SecretlyEmpty),
- B(foo::NotSoSecretlyEmpty),
- C(NotSoSecretlyEmpty),
- D(u32, u32),
-}
-
-fn main() {
- let x: Foo = Foo::D(123, 456);
- let Foo::D(_y, _z) = x; //~ ERROR refutable pattern in local binding: `Foo::A(_)` not covered
-}