Add 85455

Issue: rust-lang/rust#85455
fanninpm · Jun 4, 2021 · 6ae5fda · 6ae5fda
1 parent bd4458e
commit 6ae5fda
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/ices/85455.rs b/ices/85455.rs
@@ -0,0 +1,20 @@
+#![feature(unboxed_closures)]
+
+trait SomeTrait<'a> {
+    type Associated;
+}
+
+fn give_me_ice<T>() {
+    callee::<fn(&()) -> <T as SomeTrait<'_>>::Associated>();
+}
+
+fn callee<T: Fn<(&'static (),)>>() {
+    println!(
+        "{}",
+        std::any::type_name::<<T as FnOnce<(&'static (),)>>::Output>()
+    );
+}
+
+fn main() {
+    give_me_ice::<()>();
+}