2 files changed, 33 insertions, 0 deletions
diff --git a/crates/hir_ty/src/infer/coerce.rs b/crates/hir_ty/src/infer/coerce.rs
index c24772f29b4..528e3ba8827 100644
--- a/crates/hir_ty/src/infer/coerce.rs
+++ b/crates/hir_ty/src/infer/coerce.rs
@@ -555,8 +555,10 @@ impl<'a> InferenceContext<'a> {
                 );
             }
             Solution::Ambig(Guidance::Definite(subst)) => {
+                // FIXME need to record an obligation here
                 canonicalized.apply_solution(&mut self.table, subst)
             }
+            // FIXME actually we maybe should also accept unknown guidance here
             _ => return Err(TypeError),
         };
         let unsize =
diff --git a/crates/hir_ty/src/tests/regression.rs b/crates/hir_ty/src/tests/regression.rs
index 812f12acede..b17e517ccb0 100644
--- a/crates/hir_ty/src/tests/regression.rs
+++ b/crates/hir_ty/src/tests/regression.rs
@@ -1267,3 +1267,34 @@ fn test() {
         "#]],
     );
 }
+
+#[test]
+fn bug_11242() {
+    // FIXME: wrong, should be u32
+    check_types(
+        r#"
+fn foo<A, B>()
+where
+    A: IntoIterator<Item = u32>,
+    B: IntoIterator<Item = usize>,
+{
+    let _x: <A as IntoIterator>::Item;
+     // ^^ {unknown}
+}
+
+pub trait Iterator {
+    type Item;
+}
+
+pub trait IntoIterator {
+    type Item;
+    type IntoIter: Iterator<Item = Self::Item>;
+}
+
+impl<I: Iterator> IntoIterator for I {
+    type Item = I::Item;
+    type IntoIter = I;
+}
+"#,
+    );
+}