diff --git a/ices/82139.rs b/ices/82139.rs
new file mode 100644
index 00000000..f5aab923
--- /dev/null
+++ b/ices/82139.rs
@@ -0,0 +1,15 @@
+trait Trait {
+    type Associated;
+    fn func() -> Self::Associated;
+}
+
+trait Bound {}
+pub struct Struct;
+
+impl Trait for Struct {
+    type Associated = impl Bound;
+
+    fn func() -> Self::Associated {
+        Some(42).map(|_| j)
+    }
+}