diff options
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.rs | 17 |
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] +} |