about summary refs log tree commit diff
path: root/tests/ui/consts/const-pattern-irrefutable.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/consts/const-pattern-irrefutable.stderr')
-rw-r--r--tests/ui/consts/const-pattern-irrefutable.stderr45
1 files changed, 45 insertions, 0 deletions
diff --git a/tests/ui/consts/const-pattern-irrefutable.stderr b/tests/ui/consts/const-pattern-irrefutable.stderr
new file mode 100644
index 00000000000..a2b8f072c6e
--- /dev/null
+++ b/tests/ui/consts/const-pattern-irrefutable.stderr
@@ -0,0 +1,45 @@
+error[E0005]: refutable pattern in local binding: `0_u8..=1_u8` and `3_u8..=u8::MAX` not covered
+  --> $DIR/const-pattern-irrefutable.rs:12:9
+   |
+LL | const a: u8 = 2;
+   | ----------- constant defined here
+...
+LL |     let a = 4;
+   |         ^
+   |         |
+   |         interpreted as a constant pattern, not a new variable
+   |         help: introduce a variable instead: `a_var`
+   |
+   = note: the matched value is of type `u8`
+
+error[E0005]: refutable pattern in local binding: `0_u8..=1_u8` and `3_u8..=u8::MAX` not covered
+  --> $DIR/const-pattern-irrefutable.rs:13:9
+   |
+LL |     pub const b: u8 = 2;
+   |     --------------- constant defined here
+...
+LL |     let c = 4;
+   |         ^
+   |         |
+   |         interpreted as a constant pattern, not a new variable
+   |         help: introduce a variable instead: `c_var`
+   |
+   = note: the matched value is of type `u8`
+
+error[E0005]: refutable pattern in local binding: `0_u8..=1_u8` and `3_u8..=u8::MAX` not covered
+  --> $DIR/const-pattern-irrefutable.rs:14:9
+   |
+LL |     pub const d: u8 = 2;
+   |     --------------- constant defined here
+...
+LL |     let d = 4;
+   |         ^
+   |         |
+   |         interpreted as a constant pattern, not a new variable
+   |         help: introduce a variable instead: `d_var`
+   |
+   = note: the matched value is of type `u8`
+
+error: aborting due to 3 previous errors
+
+For more information about this error, try `rustc --explain E0005`.