summaryrefslogtreecommitdiffstats
path: root/src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.stderr')
-rw-r--r--src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.stderr23
1 files changed, 23 insertions, 0 deletions
diff --git a/src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.stderr b/src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.stderr
new file mode 100644
index 000000000..bf05d616d
--- /dev/null
+++ b/src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.stderr
@@ -0,0 +1,23 @@
+error[E0004]: non-exhaustive patterns: type `&A` is non-empty
+ --> $DIR/issue-78123-non-exhaustive-reference.rs:6:11
+ |
+LL | match a {}
+ | ^
+ |
+note: `A` defined here
+ --> $DIR/issue-78123-non-exhaustive-reference.rs:1:6
+ |
+LL | enum A {}
+ | ^
+ = note: the matched value is of type `&A`
+ = note: references are always considered inhabited
+help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern as shown
+ |
+LL ~ match a {
+LL + _ => todo!(),
+LL + }
+ |
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0004`.