From b17b5ddc5fb4d03b17ff1e9685bf8958a754168b Mon Sep 17 00:00:00 2001
From: Henry Boisdequin <65845077+henryboisdequin@users.noreply.github.com>
Date: Thu, 4 Feb 2021 18:46:39 +0530
Subject: [PATCH 1/2] added 3 issues

---
 ices/80664.rs |  7 +++++++
 ices/80664.sh |  9 +++++++++
 ices/81708.rs |  6 ++++++
 ices/81712.rs | 18 ++++++++++++++++++
 4 files changed, 40 insertions(+)
 create mode 100644 ices/80664.rs
 create mode 100644 ices/80664.sh
 create mode 100644 ices/81708.rs
 create mode 100644 ices/81712.rs

diff --git a/ices/80664.rs b/ices/80664.rs
new file mode 100644
index 00000000..8982a2a6
--- /dev/null
+++ b/ices/80664.rs
@@ -0,0 +1,7 @@
+mod inner {
+    pub struct Public;
+}
+
+pub use inner::Public as Reexported;
+
+fn main() {}
diff --git a/ices/80664.sh b/ices/80664.sh
new file mode 100644
index 00000000..746cc72c
--- /dev/null
+++ b/ices/80664.sh
@@ -0,0 +1,9 @@
+rustc --output-format json << EOF
+mod inner {
+    pub struct Public;
+}
+
+pub use inner::Public as Reexported;
+
+fn main() {}
+EOF
diff --git a/ices/81708.rs b/ices/81708.rs
new file mode 100644
index 00000000..6d77bb2b
--- /dev/null
+++ b/ices/81708.rs
@@ -0,0 +1,6 @@
+static T: () = {
+    let test_arr: [String; 1];
+    test_arr[0] = String::new();
+};
+
+fn main() {}
diff --git a/ices/81712.rs b/ices/81712.rs
new file mode 100644
index 00000000..26e0135d
--- /dev/null
+++ b/ices/81712.rs
@@ -0,0 +1,18 @@
+#![feature(generic_associated_types)]
+
+// The cyclic dependency between trait A and B compiles as expected
+trait A {
+    type BType: B<AType = Self>;
+}
+
+trait B {
+    type AType: A<BType = Self>;
+}
+
+// rustc crashes on the generic cyclic dependency between traits C and D
+trait C {
+    type DType<T>: D<T, CType = Self>;
+}
+trait D<T> {
+    type CType: C<DType = Self>;
+}

From 2073016f113968655099519b0542abc6b6667e29 Mon Sep 17 00:00:00 2001
From: Henry Boisdequin <65845077+henryboisdequin@users.noreply.github.com>
Date: Thu, 4 Feb 2021 19:59:13 +0530
Subject: [PATCH 2/2] delete duplicate ice

---
 ices/80664.rs | 7 -------
 ices/80664.sh | 8 +++++---
 2 files changed, 5 insertions(+), 10 deletions(-)
 delete mode 100644 ices/80664.rs

diff --git a/ices/80664.rs b/ices/80664.rs
deleted file mode 100644
index 8982a2a6..00000000
--- a/ices/80664.rs
+++ /dev/null
@@ -1,7 +0,0 @@
-mod inner {
-    pub struct Public;
-}
-
-pub use inner::Public as Reexported;
-
-fn main() {}
diff --git a/ices/80664.sh b/ices/80664.sh
index 746cc72c..f4d05fd7 100644
--- a/ices/80664.sh
+++ b/ices/80664.sh
@@ -1,9 +1,11 @@
-rustc --output-format json << EOF
+#!/bin/sh
+
+cat > out.rs << EOF
 mod inner {
     pub struct Public;
 }
 
 pub use inner::Public as Reexported;
-
-fn main() {}
 EOF
+
+rustdoc out.rs --output-format json