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.
5 #![feature(platform_intrinsics)]
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
12 fn simd_add<'a, T>(x: T, y: T) -> T;
14 fn simd_sub<T, U>(x: T, y: U);
15 //~^ ERROR: intrinsic has wrong number of type parameters
17 fn simd_mul<T, const N: usize>(x: T, y: T);
18 //~^ ERROR: intrinsic has wrong number of const parameters