1 files changed, 36 insertions, 10 deletions

diff --git a/crates/hir_ty/src/tests/traits.rs b/crates/hir_ty/src/tests/traits.rs
index 41d097519..7ad8b5830 100644
--- a/crates/hir_ty/src/tests/traits.rs
+++ b/crates/hir_ty/src/tests/traits.rs
@@ -384,12 +384,12 @@ fn infer_project_associated_type() {
             108..261 '{     ...ter; }': ()
             118..119 'x': u32
             145..146 '1': u32
-            156..157 'y': Iterable::Item<T>
-            183..192 'no_matter': Iterable::Item<T>
-            202..203 'z': Iterable::Item<T>
-            215..224 'no_matter': Iterable::Item<T>
-            234..235 'a': Iterable::Item<T>
-            249..258 'no_matter': Iterable::Item<T>
+            156..157 'y': <T as Iterable>::Item
+            183..192 'no_matter': <T as Iterable>::Item
+            202..203 'z': <T as Iterable>::Item
+            215..224 'no_matter': <T as Iterable>::Item
+            234..235 'a': <T as Iterable>::Item
+            249..258 'no_matter': <T as Iterable>::Item
         "#]],
     );
 }
@@ -908,7 +908,6 @@ fn test<T: Trait>(t: T) { (*t); }
 
 #[test]
 fn associated_type_placeholder() {
-    // inside the generic function, the associated type gets normalized to a placeholder `ApplL::Out<T>` [https://rust-lang.github.io/rustc-guide/traits/associated-types.html#placeholder-associated-types].
     check_types(
         r#"
 pub trait ApplyL {
@@ -924,7 +923,7 @@ impl<T> ApplyL for RefMutL<T> {
 fn test<T: ApplyL>() {
     let y: <RefMutL<T> as ApplyL>::Out = no_matter;
     y;
-} //^ ApplyL::Out<T>
+} //^ <T as ApplyL>::Out
 "#,
     );
 }
@@ -941,7 +940,7 @@ fn foo<T: ApplyL>(t: T) -> <T as ApplyL>::Out;
 fn test<T: ApplyL>(t: T) {
     let y = foo(t);
     y;
-} //^ ApplyL::Out<T>
+} //^ <T as ApplyL>::Out
 "#,
     );
 }
@@ -2120,7 +2119,7 @@ fn unselected_projection_on_impl_self() {
         "#,
         expect![[r#"
             40..44 'self': &Self
-            46..47 'x': Trait::Item<Self>
+            46..47 'x': <Self as Trait>::Item
             126..130 'self': &S
             132..133 'x': u32
             147..161 '{ let y = x; }': ()
@@ -3151,3 +3150,30 @@ fn test() {
     "#,
     );
 }
+
+#[test]
+fn infer_call_method_return_associated_types_with_generic() {
+    check_infer(
+        r#"
+        pub trait Default {
+            fn default() -> Self;
+        }
+        pub trait Foo {
+            type Bar: Default;
+        }
+
+        pub fn quux<T: Foo>() -> T::Bar {
+            let y = Default::default();
+
+            y
+        }
+        "#,
+        expect![[r#"
+            122..164 '{     ...   y }': <T as Foo>::Bar
+            132..133 'y': <T as Foo>::Bar
+            136..152 'Defaul...efault': fn default<<T as Foo>::Bar>() -> <T as Foo>::Bar
+            136..154 'Defaul...ault()': <T as Foo>::Bar
+            161..162 'y': <T as Foo>::Bar
+        "#]],
+    );
+}