summaryrefslogtreecommitdiffstats
path: root/src/test/ui/simd/array-trait.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/simd/array-trait.rs')
-rw-r--r--src/test/ui/simd/array-trait.rs41
1 files changed, 0 insertions, 41 deletions
diff --git a/src/test/ui/simd/array-trait.rs b/src/test/ui/simd/array-trait.rs
deleted file mode 100644
index 45c10b378..000000000
--- a/src/test/ui/simd/array-trait.rs
+++ /dev/null
@@ -1,41 +0,0 @@
-// Figuring out the size of a vector type that depends on traits doesn't ICE
-
-#![allow(dead_code)]
-
-// pretty-expanded FIXME #23616
-
-#![feature(repr_simd, platform_intrinsics, generic_const_exprs)]
-#![allow(non_camel_case_types, incomplete_features)]
-
-pub trait Simd {
- type Lane: Clone + Copy;
- const SIZE: usize;
-}
-
-pub struct i32x4;
-impl Simd for i32x4 {
- type Lane = i32;
- const SIZE: usize = 4;
-}
-
-#[repr(simd)]
-#[derive(Copy, Clone)]
-pub struct T<S: Simd>([S::Lane; S::SIZE]);
-//~^ ERROR unconstrained generic constant
-
-extern "platform-intrinsic" {
- fn simd_insert<T, E>(x: T, idx: u32, y: E) -> T;
- fn simd_extract<T, E>(x: T, idx: u32) -> E;
-}
-
-pub fn main() {
- let mut t = T::<i32x4>([0; 4]);
- unsafe {
- for i in 0_i32..4 {
- t = simd_insert(t, i as u32, i);
- }
- for i in 0_i32..4 {
- assert_eq!(i, simd_extract(t, i as u32));
- }
- }
-}