mirror of https://github.com/rust-lang/rust
23 lines
588 B
Rust
23 lines
588 B
Rust
#![feature(never_type)]
|
|
#![feature(core_intrinsics)]
|
|
|
|
use std::intrinsics;
|
|
|
|
#[allow(invalid_value)]
|
|
fn main() {
|
|
use std::mem::MaybeUninit;
|
|
|
|
const _BAD1: () = unsafe {
|
|
MaybeUninit::<!>::uninit().assume_init();
|
|
//~^ERROR: evaluation of constant value failed
|
|
};
|
|
const _BAD2: () = {
|
|
intrinsics::assert_mem_uninitialized_valid::<&'static i32>();
|
|
//~^ERROR: evaluation of constant value failed
|
|
};
|
|
const _BAD3: () = {
|
|
intrinsics::assert_zero_valid::<&'static i32>();
|
|
//~^ERROR: evaluation of constant value failed
|
|
};
|
|
}
|