summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/const-eval/panic-assoc-never-type.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/consts/const-eval/panic-assoc-never-type.rs')
-rw-r--r--src/test/ui/consts/const-eval/panic-assoc-never-type.rs17
1 files changed, 17 insertions, 0 deletions
diff --git a/src/test/ui/consts/const-eval/panic-assoc-never-type.rs b/src/test/ui/consts/const-eval/panic-assoc-never-type.rs
new file mode 100644
index 000000000..80b0a1432
--- /dev/null
+++ b/src/test/ui/consts/const-eval/panic-assoc-never-type.rs
@@ -0,0 +1,17 @@
+// build-fail
+
+// Regression test for #66975
+#![warn(const_err)]
+#![feature(never_type)]
+
+struct PrintName;
+
+impl PrintName {
+ const VOID: ! = panic!();
+ //~^ ERROR evaluation of constant value failed
+}
+
+fn main() {
+ let _ = PrintName::VOID;
+ //~^ ERROR erroneous constant used [E0080]
+}