add test for const-eval error in dead code during monomorphization
This commit is contained in:
parent
5236c8e1fa
commit
5e1b0cbe5d
20
tests/ui/consts/const-eval/unused-broken-const-late.rs
Normal file
20
tests/ui/consts/const-eval/unused-broken-const-late.rs
Normal file
@ -0,0 +1,20 @@
|
|||||||
|
// build-fail
|
||||||
|
// compile-flags: -O
|
||||||
|
//! Make sure we detect erroneous constants post-monomorphization even when they are unused. This is
|
||||||
|
//! crucial, people rely on it for soundness. (https://github.com/rust-lang/rust/issues/112090)
|
||||||
|
|
||||||
|
struct PrintName<T>(T);
|
||||||
|
impl<T> PrintName<T> {
|
||||||
|
const VOID: () = panic!(); //~ERROR evaluation of `PrintName::<i32>::VOID` failed
|
||||||
|
}
|
||||||
|
|
||||||
|
fn no_codegen<T>() {
|
||||||
|
// Any function that is called is guaranteed to have all consts that syntactically
|
||||||
|
// appear in its body evaluated, even if they only appear in dead code.
|
||||||
|
if false {
|
||||||
|
let _ = PrintName::<T>::VOID;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
pub fn main() {
|
||||||
|
no_codegen::<i32>();
|
||||||
|
}
|
11
tests/ui/consts/const-eval/unused-broken-const-late.stderr
Normal file
11
tests/ui/consts/const-eval/unused-broken-const-late.stderr
Normal file
@ -0,0 +1,11 @@
|
|||||||
|
error[E0080]: evaluation of `PrintName::<i32>::VOID` failed
|
||||||
|
--> $DIR/unused-broken-const-late.rs:8:22
|
||||||
|
|
|
||||||
|
LL | const VOID: () = panic!();
|
||||||
|
| ^^^^^^^^ the evaluated program panicked at 'explicit panic', $DIR/unused-broken-const-late.rs:8:22
|
||||||
|
|
|
||||||
|
= note: this error originates in the macro `$crate::panic::panic_2015` which comes from the expansion of the macro `panic` (in Nightly builds, run with -Z macro-backtrace for more info)
|
||||||
|
|
||||||
|
error: aborting due to previous error
|
||||||
|
|
||||||
|
For more information about this error, try `rustc --explain E0080`.
|
Loading…
Reference in New Issue
Block a user