add 4 ices (#1316)

* add 4 ices

rust-lang/rust#98432
rust-lang/rust#98250
rust-lang/rust#98171
rust-lang/rust#98016

* Update ices/98432.rs

Co-authored-by: Yuki Okushi <jtitor@2k36.org>

ices/98016.sh

@@ -0,0 +1,20 @@
+#!/bin/bash
+
+rustc --edition=2021 -Zmir-opt-level=3 -Zvalidate-mir - <<EOF
+
+#![crate_type = "lib"]
+#![feature(portable_simd)]
+
+use std::simd::Simd;
+const N: usize = 8;
+
+#[no_mangle]
+// CHECK-LABEL: @wider_reduce_into_iter
+pub fn wider_reduce_into_iter(x: Simd<u8, N>) -> u16 {
+    // CHECK: zext <8 x i8>
+    // CHECK-SAME: to <8 x i16>
+    // CHECK: call i16 @llvm.vector.reduce.add.v8i16(<8 x i16>
+    x.to_array().into_iter().map(u16::from).sum()
+}
+
+EOF

ices/98171.sh

@@ -0,0 +1,36 @@
+#!/bin/bash
+
+cat > out.rs <<'EOF'
+
+// Issue 22443: Reject code using non-regular types that would
+// otherwise cause dropck to loop infinitely.
+
+use std::marker::PhantomData;
+
+struct Digit<T> {
+    elem: T
+}
+
+struct Node<T:'static> { m: PhantomData<&'static T> }
+
+
+enum FingerTree<T:'static> {
+    Single(T),
+    // Bug report said Digit after Box would stack overflow (versus
+    // Digit before Box; see dropck_no_diverge_on_nonregular_2).
+    Deep(
+        Box<FingerTree<Node<T>>>,
+        Digit<T>,
+        )
+}
+
+fn main() {
+    let ft = //~ ERROR overflow while adding drop-check rules for FingerTree
+        FingerTree::Single(1);
+    //~^ ERROR overflow while adding drop-check rules for FingerTree
+}
+
+
+EOF
+
+rustdoc   out.rs

ices/98250.sh

@@ -0,0 +1,27 @@
+#!/bin/bash
+
+cat > out.rs <<'EOF'
+
+#![feature(type_alias_impl_trait)]
+
+type Foo = impl PartialEq<(Foo, i32)>;
+
+struct Bar;
+
+impl PartialEq<(Foo, i32)> for Bar {
+//~^ ERROR cannot implement trait on type alias impl trait
+    fn eq(&self, _other: &(Foo, i32)) -> bool {
+        true
+    }
+}
+
+fn foo() -> Foo {
+    Bar
+}
+
+fn main() {}
+
+
+EOF
+
+rustdoc   out.rs

ices/98432.rs

@@ -0,0 +1,12 @@
+struct Struct<T>(T);
+
+impl<T> Struct<T> {
+    const CONST: fn() = || {
+        struct _Obligation
+        where
+            T:;
+    };
+}
+
+fn main() {}
+