summaryrefslogtreecommitdiffstats
path: root/src/test/ui/pattern/usefulness/match-privately-empty.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/pattern/usefulness/match-privately-empty.stderr')
-rw-r--r--src/test/ui/pattern/usefulness/match-privately-empty.stderr24
1 files changed, 24 insertions, 0 deletions
diff --git a/src/test/ui/pattern/usefulness/match-privately-empty.stderr b/src/test/ui/pattern/usefulness/match-privately-empty.stderr
new file mode 100644
index 000000000..4607cfaae
--- /dev/null
+++ b/src/test/ui/pattern/usefulness/match-privately-empty.stderr
@@ -0,0 +1,24 @@
+error[E0004]: non-exhaustive patterns: `Some(Private { misc: true, .. })` not covered
+ --> $DIR/match-privately-empty.rs:13:11
+ |
+LL | match private::DATA {
+ | ^^^^^^^^^^^^^ pattern `Some(Private { misc: true, .. })` not covered
+ |
+note: `Option<Private>` defined here
+ --> $SRC_DIR/core/src/option.rs:LL:COL
+ |
+LL | pub enum Option<T> {
+ | ------------------
+...
+LL | Some(#[stable(feature = "rust1", since = "1.0.0")] T),
+ | ^^^^ not covered
+ = note: the matched value is of type `Option<Private>`
+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 ~ }) => {}
+LL + Some(Private { misc: true, .. }) => todo!()
+ |
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0004`.