From 218caa410aa38c29984be31a5229b9fa717560ee Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 17 Apr 2024 14:19:13 +0200
Subject: Merging upstream version 1.68.2+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 src/test/ui/uninhabited/uninhabited-patterns.rs | 47 -------------------------
 1 file changed, 47 deletions(-)
 delete mode 100644 src/test/ui/uninhabited/uninhabited-patterns.rs

(limited to 'src/test/ui/uninhabited/uninhabited-patterns.rs')

diff --git a/src/test/ui/uninhabited/uninhabited-patterns.rs b/src/test/ui/uninhabited/uninhabited-patterns.rs
deleted file mode 100644
index f1573b6ad..000000000
--- a/src/test/ui/uninhabited/uninhabited-patterns.rs
+++ /dev/null
@@ -1,47 +0,0 @@
-#![feature(box_patterns)]
-#![feature(never_type)]
-#![feature(exhaustive_patterns)]
-
-
-#![deny(unreachable_patterns)]
-
-mod foo {
-    pub struct SecretlyEmpty {
-        _priv: !,
-    }
-}
-
-struct NotSoSecretlyEmpty {
-    _priv: !,
-}
-
-fn foo() -> Option<NotSoSecretlyEmpty> {
-    None
-}
-
-fn main() {
-    let x: &[!] = &[];
-
-    match x {
-        &[]   => (),
-        &[..] => (),    //~ ERROR unreachable pattern
-    };
-
-    let x: Result<Box<NotSoSecretlyEmpty>, &[Result<!, !>]> = Err(&[]);
-    match x {
-        Ok(box _) => (),    //~ ERROR unreachable pattern
-        Err(&[]) => (),
-        Err(&[..]) => (),   //~ ERROR unreachable pattern
-    }
-
-    let x: Result<foo::SecretlyEmpty, Result<NotSoSecretlyEmpty, u32>> = Err(Err(123));
-    match x {
-        Ok(_y) => (),
-        Err(Err(_y)) => (),
-        Err(Ok(_y)) => (),  //~ ERROR unreachable pattern
-    }
-
-    while let Some(_y) = foo() {
-        //~^ ERROR unreachable pattern
-    }
-}
-- 
cgit v1.2.3