From 66e51a314aecace2d1818a4c55b17c5546ec78a7 Mon Sep 17 00:00:00 2001
From: Olivia Crain <olivia@olivia.dev>
Date: Sat, 7 Nov 2020 09:44:19 -0600
Subject: [PATCH 1/6] Add ICE 78806

---
 ices/78806.sh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 ices/78806.sh

diff --git a/ices/78806.sh b/ices/78806.sh
new file mode 100644
index 00000000..222e844c
--- /dev/null
+++ b/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

From 4810c233561cb79527e67290458ff28f297707cd Mon Sep 17 00:00:00 2001
From: Olivia Crain <olivia@olivia.dev>
Date: Sat, 7 Nov 2020 10:12:42 -0600
Subject: [PATCH 2/6] Add ICE 78722

---
 ices/78722.rs | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 ices/78722.rs

diff --git a/ices/78722.rs b/ices/78722.rs
new file mode 100644
index 00000000..58489268
--- /dev/null
+++ b/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() {}

From c5e6de234d32fe3f7a8a8b1791792da47b301575 Mon Sep 17 00:00:00 2001
From: Olivia Crain <olivia@olivia.dev>
Date: Sat, 7 Nov 2020 10:18:55 -0600
Subject: [PATCH 3/6] Add ICE 78721

---
 ices/78721.rs | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 ices/78721.rs

diff --git a/ices/78721.rs b/ices/78721.rs
new file mode 100644
index 00000000..bbc23430
--- /dev/null
+++ b/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() {}

From 60c19fdd49f354ae722ba201e15ca8017c6583d2 Mon Sep 17 00:00:00 2001
From: Olivia Crain <olivia@olivia.dev>
Date: Sat, 7 Nov 2020 10:21:05 -0600
Subject: [PATCH 4/6] Add ICE 78671

---
 ices/78671.rs | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 ices/78671.rs

diff --git a/ices/78671.rs b/ices/78671.rs
new file mode 100644
index 00000000..ef9bbe80
--- /dev/null
+++ b/ices/78671.rs
@@ -0,0 +1,9 @@
+trait CollectionFamily {
+    type Member<T>;
+}
+
+fn floatify() {
+    Family as CollectionFamily
+}
+
+fn main() {}

From 4a73b1a8d2cb4a0a7acbdf9f54075bc82c519929 Mon Sep 17 00:00:00 2001
From: Olivia Crain <olivia@olivia.dev>
Date: Sat, 7 Nov 2020 10:22:20 -0600
Subject: [PATCH 5/6] Add ICE 78653

---
 ices/78653.rs | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 ices/78653.rs

diff --git a/ices/78653.rs b/ices/78653.rs
new file mode 100644
index 00000000..a70d63db
--- /dev/null
+++ b/ices/78653.rs
@@ -0,0 +1,3 @@
+fn main() {
+    yield || for _ in 0 {}
+}

From 2fd6e843de2a9e349424fa17d440acf247ec8361 Mon Sep 17 00:00:00 2001
From: Olivia Crain <olivia@olivia.dev>
Date: Sat, 7 Nov 2020 10:23:45 -0600
Subject: [PATCH 6/6] Add ICE 78652

---
 ices/78652.rs | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 ices/78652.rs

diff --git a/ices/78652.rs b/ices/78652.rs
new file mode 100644
index 00000000..da85876a
--- /dev/null
+++ b/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() {}