diff --git a/ices/109066.rs b/ices/109066.rs
new file mode 100644
index 00000000..8a6e4f00
--- /dev/null
+++ b/ices/109066.rs
@@ -0,0 +1 @@
+#![doc(test(""))]
diff --git a/ices/109071.rs b/ices/109071.rs
new file mode 100644
index 00000000..364e0984
--- /dev/null
+++ b/ices/109071.rs
@@ -0,0 +1,11 @@
+struct Windows<T> {}
+
+impl<T> Windows {
+    type Item = &[T];
+
+    fn next() -> Option<Self::Item> {}
+}
+
+impl<T> Windows<T> {
+    fn T() -> Option<Self::Item> {}
+}
diff --git a/ices/109129.rs b/ices/109129.rs
new file mode 100644
index 00000000..802d09e1
--- /dev/null
+++ b/ices/109129.rs
@@ -0,0 +1,8 @@
+extern crate proc_macro;
+
+trait Project {
+    type Assoc;
+}
+
+#[proc_macro]
+fn uwu() -> <() as Project>::Assoc {}
diff --git a/ices/109143.rs b/ices/109143.rs
new file mode 100644
index 00000000..78df4ec5
--- /dev/null
+++ b/ices/109143.rs
@@ -0,0 +1 @@
+struct Bar<const N: &(for<'a> S<'a>)>;