diff --git a/ices/65679.rs b/ices/65679.rs
new file mode 100644
index 00000000..dc34be6c
--- /dev/null
+++ b/ices/65679.rs
@@ -0,0 +1,10 @@
+#![feature(type_alias_impl_trait)]
+
+type Fut = impl std::future::Future;
+
+fn take(_: fn() -> Fut) {}
+
+fn main() {
+    take(|| {});
+    take(|| {});
+}