diff --git a/ices/84148.rs b/ices/84148.rs
new file mode 100644
index 00000000..06820cd8
--- /dev/null
+++ b/ices/84148.rs
@@ -0,0 +1 @@
+fn f(t:for<>t?