blob: dbb165c64d9ed3b7bdde44d500e2ca77b25656cc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
//@ dont-require-annotations: NOTE
const fn foo() -> ! {
unsafe { std::mem::transmute(()) } //~ NOTE inside `foo`
}
// Type defined in a submodule, so that it is not "visibly"
// uninhabited (which would change interpreter behavior).
pub mod empty {
#[derive(Clone, Copy)]
enum Void {}
#[derive(Clone, Copy)]
pub struct Empty(Void);
}
const FOO: [empty::Empty; 3] = [foo(); 3];
//~^ ERROR value of the never type
const BAR: [empty::Empty; 3] = [unsafe { std::mem::transmute(()) }; 3];
//~^ ERROR value of uninhabited type
fn main() {
FOO;
BAR;
}
|
