mirror of
https://github.com/rust-lang/rust.git
synced 2024-10-30 22:12:15 +00:00
173d1bd36b
then we can also make all_required_consts_are_checked a constant instead of a function
27 lines
769 B
Rust
27 lines
769 B
Rust
//@revisions: noopt opt
|
|
//@ build-fail
|
|
//@[noopt] compile-flags: -Copt-level=0
|
|
//@[opt] compile-flags: -O
|
|
//! Make sure we error on erroneous consts even if they get promoted.
|
|
|
|
struct Fail<T>(T);
|
|
impl<T> Fail<T> {
|
|
const C: () = panic!(); //~ERROR evaluation of `Fail::<i32>::C` failed
|
|
//[opt]~^ ERROR evaluation of `Fail::<T>::C` failed
|
|
// (Not sure why optimizations lead to this being emitted twice, but as long as compilation
|
|
// fails either way it's fine.)
|
|
}
|
|
|
|
#[inline(never)]
|
|
fn f<T>() {
|
|
if false {
|
|
// If promotion moved `C` from our required_consts to its own, without adding itself to
|
|
// our required_consts, then we'd miss the const-eval failure here.
|
|
let _val = &Fail::<T>::C;
|
|
}
|
|
}
|
|
|
|
fn main() {
|
|
f::<i32>();
|
|
}
|