diff --git a/fixed/96572-2.rs b/ices/96572-2.rs
similarity index 100%
rename from fixed/96572-2.rs
rename to ices/96572-2.rs
diff --git a/ices/99387.rs b/ices/99387.rs
new file mode 100644
index 00000000..9ce03231
--- /dev/null
+++ b/ices/99387.rs
@@ -0,0 +1,22 @@
+#![feature(type_alias_impl_trait)]
+#![allow(private_in_public)]
+
+pub type Successors<'a> = impl Iterator<Item = &'a ()>;
+
+pub fn f<'a>() -> Successors<'a> {
+    None.into_iter()
+}
+
+trait Tr {
+    type Item;
+}
+
+impl<'a> Tr for &'a () {
+    type Item = Successors<'a>;
+}
+
+pub fn ohno<'a>() -> <&'a () as Tr>::Item {
+    None.into_iter()
+}
+
+fn main() {}
diff --git a/ices/99566.rs b/ices/99566.rs
new file mode 100644
index 00000000..b90847bd
--- /dev/null
+++ b/ices/99566.rs
@@ -0,0 +1,5 @@
+#![feature(closure_lifetime_binder)]
+
+fn main() {
+    for<const N: i32> || -> () {};    
+}
diff --git a/ices/99575.rs b/ices/99575.rs
new file mode 100644
index 00000000..de2e6692
--- /dev/null
+++ b/ices/99575.rs
@@ -0,0 +1,28 @@
+use std::pin::Pin;
+
+fn main() {
+    let a = Enum::A(Pin::new(Box::new(A())));
+    let b = Enum::B(Pin::new(Box::new(B())));
+    println!("{:?} {:?}", a, b);
+}
+
+#[derive(Debug)]
+enum Enum {
+    A(Pin<Box<A>>),
+    B(Pin<Box<B>>),
+}
+
+#[derive(Debug)]
+struct A();
+
+impl Drop for Pin<Box<A>> {
+    fn drop(&mut self) {}
+}
+
+#[derive(Debug)]
+struct B();
+
+// UNCOMMENT TO FIX COMPILER ERROR
+// impl Drop for Pin<Box<B>> {
+//     fn drop(&mut self) {}
+// }