Add 83837

Issue: rust-lang/rust#83837
fanninpm · Apr 9, 2021 · 609991b · 609991b
1 parent 00453e0
commit 609991b
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/ices/83837.rs b/ices/83837.rs
@@ -0,0 +1,10 @@
+#![feature(staged_api)]
+struct u16x2(u16, u16);
+extern "platform-intrinsic" {
+    #[rustc_const_stable(feature = "foo", since = "1.3.37")]
+    fn simd_insert(x: T, idx: u32, val: U);
+}
+fn main() {
+    const U: u16x2 = u16x2(13, 14);
+    const { simd_insert(U, 0x1319_8a2e, 42_u16) }
+}