]>
Commit | Line | Data |
---|---|---|
e1599b0c XL |
1 | // check-fail |
2 | ||
cdc7bbd5 | 3 | #![feature(core_intrinsics, intrinsics)] |
e1599b0c XL |
4 | |
5 | fn a() { | |
6 | let _: unsafe extern "rust-intrinsic" fn(isize) -> usize = std::mem::transmute; | |
7 | //~^ ERROR cannot coerce | |
8 | } | |
9 | ||
10 | fn b() { | |
11 | let _ = std::mem::transmute as unsafe extern "rust-intrinsic" fn(isize) -> usize; | |
12 | //~^ ERROR casting | |
13 | } | |
14 | ||
cdc7bbd5 XL |
15 | fn c() { |
16 | let _ = [ | |
17 | std::intrinsics::likely, | |
18 | std::intrinsics::unlikely, | |
19 | //~^ ERROR cannot coerce | |
20 | ]; | |
21 | } | |
22 | ||
e1599b0c | 23 | fn main() {} |