From 25e395653df2a91fc9a76dfd3ef050f1c7ba9fca Mon Sep 17 00:00:00 2001
From: Caio <c410.f3r@gmail.com>
Date: Sun, 14 May 2023 09:49:20 -0300
Subject: Move tests

---
 tests/ui/pattern/issue-94866.rs     | 14 ++++++++++++++
 tests/ui/pattern/issue-94866.stderr | 21 +++++++++++++++++++++
 2 files changed, 35 insertions(+)
 create mode 100644 tests/ui/pattern/issue-94866.rs
 create mode 100644 tests/ui/pattern/issue-94866.stderr

(limited to 'tests/ui/pattern')

diff --git a/tests/ui/pattern/issue-94866.rs b/tests/ui/pattern/issue-94866.rs
new file mode 100644
index 00000000000..c4203487936
--- /dev/null
+++ b/tests/ui/pattern/issue-94866.rs
@@ -0,0 +1,14 @@
+macro_rules! m {
+    () => {
+        {}
+    };
+}
+
+enum Enum { A, B }
+
+fn main() {
+    match Enum::A {
+    //~^ ERROR non-exhaustive patterns
+    Enum::A => m!()
+    }
+}
diff --git a/tests/ui/pattern/issue-94866.stderr b/tests/ui/pattern/issue-94866.stderr
new file mode 100644
index 00000000000..b3c17ce8974
--- /dev/null
+++ b/tests/ui/pattern/issue-94866.stderr
@@ -0,0 +1,21 @@
+error[E0004]: non-exhaustive patterns: `Enum::B` not covered
+  --> $DIR/issue-94866.rs:10:11
+   |
+LL |     match Enum::A {
+   |           ^^^^^^^ pattern `Enum::B` not covered
+   |
+note: `Enum` defined here
+  --> $DIR/issue-94866.rs:7:16
+   |
+LL | enum Enum { A, B }
+   |      ----      ^ not covered
+   = note: the matched value is of type `Enum`
+help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
+   |
+LL ~     Enum::A => m!(),
+LL +     Enum::B => todo!()
+   |
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0004`.
-- 
cgit 1.4.1-3-g733a5