summaryrefslogtreecommitdiffstats
path: root/tests/ui/consts/const-match-check.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/consts/const-match-check.rs')
-rw-r--r--tests/ui/consts/const-match-check.rs33
1 files changed, 33 insertions, 0 deletions
diff --git a/tests/ui/consts/const-match-check.rs b/tests/ui/consts/const-match-check.rs
new file mode 100644
index 000000000..60f60fa40
--- /dev/null
+++ b/tests/ui/consts/const-match-check.rs
@@ -0,0 +1,33 @@
+// revisions: matchck eval1 eval2
+
+#[cfg(matchck)]
+const X: i32 = { let 0 = 0; 0 };
+//[matchck]~^ ERROR refutable pattern in local binding
+
+#[cfg(matchck)]
+static Y: i32 = { let 0 = 0; 0 };
+//[matchck]~^ ERROR refutable pattern in local binding
+
+#[cfg(matchck)]
+trait Bar {
+ const X: i32 = { let 0 = 0; 0 };
+ //[matchck]~^ ERROR refutable pattern in local binding
+}
+
+#[cfg(matchck)]
+impl Bar for () {
+ const X: i32 = { let 0 = 0; 0 };
+ //[matchck]~^ ERROR refutable pattern in local binding
+}
+
+#[cfg(eval1)]
+enum Foo {
+ A = { let 0 = 0; 0 },
+ //[eval1]~^ ERROR refutable pattern in local binding
+}
+
+fn main() {
+ #[cfg(eval2)]
+ let x: [i32; { let 0 = 0; 0 }] = [];
+ //[eval2]~^ ERROR refutable pattern in local binding
+}