Merge pull request #539 from oliviacrain/ices

Add ICEs 78652, 78653, 78671, 78722, 78806

ices/78652.rs

@@ -0,0 +1,11 @@
+#![unstable(feature = "humans", issue = "none")]
+#![feature(staged_api)]
+struct Foo;
+impl Foo {
+    #[stable(feature = "rust1", since = "1.0.0")]
+    const fn gated() -> u32 {
+        42
+    }
+}
+
+fn main() {}

ices/78653.rs

@@ -0,0 +1,3 @@
+fn main() {
+    yield || for _ in 0 {}
+}

ices/78671.rs

@@ -0,0 +1,9 @@
+trait CollectionFamily {
+    type Member<T>;
+}
+
+fn floatify() {
+    Family as CollectionFamily
+}
+
+fn main() {}

ices/78721.rs

@@ -0,0 +1,10 @@
+#![feature(impl_trait_in_bindings)]
+
+struct Bug {
+    V1: [(); {
+        let f: impl core::future::Future<Output = u8> = async { 1 };
+        1
+    }],
+}
+
+fn main() {}

ices/78722.rs

@@ -0,0 +1,16 @@
+#![feature(type_alias_impl_trait)]
+#![feature(impl_trait_in_bindings)]
+
+type F = impl core::future::Future<Output = u8>;
+
+struct Bug {
+    V1: [(); {
+        fn concrete_use() -> F {
+            async {}
+        }
+        let f: F = async { 1 };
+        1
+    }],
+}
+
+fn main() {}

ices/78806.sh

@@ -0,0 +1,18 @@
+#!/bin/bash
+
+rustc --crate-type=lib -Z mir-opt-level=1 -Z new-llvm-pass-manager=yes -Z unsound-mir-opts=yes -Z verify-llvm-ir=yes -Z validate-mir=yes -Z polonius=yes -Z polymorphize=yes -C debuginfo=2 -C opt-level=1 - << EOF
+#![feature(no_core, lang_items)]
+#![no_core]
+
+#[lang = "sized"]
+trait Sized {}
+
+#[lang = "copy"]
+trait Copy {}
+
+#[no_mangle]
+fn test() {
+    &1;
+}
+
+EOF