diff --git a/src/tools/rust-analyzer/crates/ide-diagnostics/src/handlers/unresolved_assoc_item.rs b/src/tools/rust-analyzer/crates/ide-diagnostics/src/handlers/unresolved_assoc_item.rs
index 4ae528bf9f28..f181021bdc5c 100644
--- a/src/tools/rust-analyzer/crates/ide-diagnostics/src/handlers/unresolved_assoc_item.rs
+++ b/src/tools/rust-analyzer/crates/ide-diagnostics/src/handlers/unresolved_assoc_item.rs
@@ -46,6 +46,27 @@ fn main() {
     let _ = S::X;
           //^^^^ error: no such associated item
 }
+"#,
+        );
+    }
+
+    #[test]
+    fn dyn_super_trait_assoc_type() {
+        check_diagnostics(
+            r#"
+//- minicore: future, send
+
+use core::{future::Future, marker::Send, pin::Pin};
+
+trait FusedFuture: Future {
+    fn is_terminated(&self) -> bool;
+}
+
+struct Box<T: ?Sized>(*const T);
+
+fn main() {
+    let _fut: Pin<Box<dyn FusedFuture<Output = ()> + Send>> = loop {};
+}
 "#,
         );
     }