blob: 743aaf58ef5a19cacbc5e9ee1268c970f1b31073 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
//@ build-fail
pub const unsafe fn fake_type<T>() -> T {
hint_unreachable() //~ inside
}
pub const unsafe fn hint_unreachable() -> ! {
fake_type() //~ inside
}
trait Const {
const CONSTANT: i32 = unsafe { fake_type() }; //~ ERROR evaluation of `fake_type::<!>` failed
}
impl<T> Const for T {}
pub fn main() -> () {
dbg!(i32::CONSTANT);
}
|
