Resolve associated types with type anchors

1 files changed, 22 insertions, 1 deletions

diff --git a/crates/ide/src/hover.rs b/crates/ide/src/hover.rs
index 8f98056c1..28e2e17dc 100644
--- a/crates/ide/src/hover.rs
+++ b/crates/ide/src/hover.rs
@@ -3858,6 +3858,27 @@ trait A {
         );
         check(
             r#"
+fn foo<T: A>() {
+    let _: <T>::Assoc$0;
+}
+
+trait A {
+    type Assoc;
+}"#,
+            expect![[r#"
+                *Assoc*
+
+                ```rust
+                test
+                ```
+
+                ```rust
+                type Assoc
+                ```
+            "#]],
+        );
+        check(
+            r#"
 trait A where
     Self::Assoc$0: ,
 {
@@ -3874,6 +3895,6 @@ trait A where
                 type Assoc
                 ```
             "#]],
-        )
+        );
     }
 }