Add 82139

Issue: rust-lang/rust#82139

Author: fanninpm

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)
+    }
+}