diff --git a/ices/106238.rs b/ices/106238.rs
new file mode 100644
index 00000000..e849f28e
--- /dev/null
+++ b/ices/106238.rs
@@ -0,0 +1,15 @@
+#![feature(trait_alias)]
+use core::ops::Add;
+
+pub trait DoSome<T> {}
+
+// Trait alias causes compiler panic
+pub trait Cell<T: Add<T, Output=T>> = DoSome<T>;
+
+struct _Container<T> {
+    pub cells: dyn Cell<T>,
+}
+
+
+fn main() {}
+
diff --git a/ices/107409.rs b/ices/107409.rs
new file mode 100644
index 00000000..2790b433
--- /dev/null
+++ b/ices/107409.rs
@@ -0,0 +1,24 @@
+use std::marker::PhantomData as Boo;
+
+struct Gc<'gc, T: 'gc>(Boo<fn(&'gc T) -> &'gc T>);
+
+trait Rootable<'env> {
+    type AsRoot<'r>: Rootable<'r> + 'r where 'env: 'r;
+}
+
+impl<'env, T: Rootable<'env>> Rootable<'env> for Gc<'env, T> {
+    type AsRoot<'r> = Gc<'r, T::AsRoot<'r>> where 'env: 'r;
+}
+
+impl<'env> Rootable<'env> for i32 {
+    type AsRoot<'r> = i32 where 'env: 'r;
+}
+
+fn reroot<'gc, T: Rootable<'gc>>(_t: T, _f: for<'a> fn(T::AsRoot<'a>)) {
+}
+
+fn test<'gc>(t: Gc<'gc, i32>) {
+    reroot(t, |_| ());
+}
+
+fn main() {}
diff --git a/ices/108399.rs b/ices/108399.rs
new file mode 100644
index 00000000..3fd187a3
--- /dev/null
+++ b/ices/108399.rs
@@ -0,0 +1,21 @@
+#![feature(type_alias_impl_trait)]
+
+use std::future::Future;
+
+type FutNothing<'a> = impl 'a + Future<Output = ()>;
+
+async fn operation(x: &mut ()) -> () {
+    ()
+}
+
+async fn indirect() {
+    call(operation).await
+}
+
+async fn call<F>(mut f: F)
+where
+    for<'any> F: FnMut(&'any mut ()) -> FutNothing<'any>,
+{
+    f(&mut ()).await
+}
+
diff --git a/ices/108498.rs b/ices/108498.rs
new file mode 100644
index 00000000..d51a6e4d
--- /dev/null
+++ b/ices/108498.rs
@@ -0,0 +1,15 @@
+#![feature(type_alias_impl_trait)]
+type Opaque = impl Sized;
+
+fn get_rpit() -> impl Clone {}
+
+fn query(_: impl FnOnce() -> Opaque) {}
+
+fn test() -> Opaque {
+    query(get_rpit);
+    get_rpit()
+}
+
+fn main() {
+    test();
+}
diff --git a/ices/108683.rs b/ices/108683.rs
new file mode 100644
index 00000000..dd22e93f
--- /dev/null
+++ b/ices/108683.rs
@@ -0,0 +1,7 @@
+fn example(var: i32) {
+    || {
+        let 0 = var;
+    };
+}
+
+fn main() {}
diff --git a/ices/108814.rs b/ices/108814.rs
new file mode 100644
index 00000000..b7215a9e
--- /dev/null
+++ b/ices/108814.rs
@@ -0,0 +1,8 @@
+#![feature(non_lifetime_binders)]
+
+fn take(_: impl for<T> FnOnce(T) -> T) {}
+
+fn main() {
+    take(|x| x)
+}
+
diff --git a/ices/108832.rs b/ices/108832.rs
new file mode 100644
index 00000000..cb84ebcc
--- /dev/null
+++ b/ices/108832.rs
@@ -0,0 +1,9 @@
+fn ice()
+where
+    for<'w> fn(&'w ()): FnMut(&'w ()),
+{
+}
+
+fn main() {
+    ice();
+}
diff --git a/ices/109020.rs b/ices/109020.rs
new file mode 100644
index 00000000..64ff5e2c
--- /dev/null
+++ b/ices/109020.rs
@@ -0,0 +1,38 @@
+#![feature(type_alias_impl_trait)]
+
+use core::marker::PhantomData;
+
+type WithEmplacableForFn<'a> = impl EmplacableFn + 'a;
+
+fn with_emplacable_for<'a, F, R>(mut f: F) -> R
+where
+    F: for<'b> FnMut(Emplacable<WithEmplacableForFn<'b>>) -> R,
+{
+    fn with_emplacable_for_inner<'a, R>(
+        _: &'a (),
+        _: &mut dyn FnMut(Emplacable<WithEmplacableForFn<'a>>) -> R,
+    ) -> R {
+        fn _constrain(_: &mut ()) -> WithEmplacableForFn<'_> {
+            ()
+        }
+        loop {}
+    }
+
+    with_emplacable_for_inner(&(), &mut f)
+}
+
+trait EmplacableFn {}
+
+impl EmplacableFn for () {}
+
+struct Emplacable<F>
+where
+    F: EmplacableFn,
+{
+    phantom: PhantomData<F>,
+}
+
+fn main() {
+    with_emplacable_for(|_| {});
+}
+