]>
Commit | Line | Data |
---|---|---|
136023e0 XL |
1 | // Check that appropriate errors are reported if an intrinsic is defined |
2 | // with the wrong number of generic lifetime/type/const parameters, and | |
3 | // that no ICE occurs in these cases. | |
4 | ||
5 | #![feature(platform_intrinsics)] | |
6 | #![crate_type="lib"] | |
7 | ||
8 | extern "platform-intrinsic" { | |
9 | fn simd_saturating_add<'a, T: 'a>(x: T, y: T); | |
10 | //~^ ERROR: intrinsic has wrong number of lifetime parameters | |
11 | ||
12 | fn simd_add<'a, T>(x: T, y: T) -> T; | |
13 | ||
14 | fn simd_sub<T, U>(x: T, y: U); | |
15 | //~^ ERROR: intrinsic has wrong number of type parameters | |
16 | ||
17 | fn simd_mul<T, const N: usize>(x: T, y: T); | |
18 | //~^ ERROR: intrinsic has wrong number of const parameters | |
19 | } |