Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/ide-diagnostics/src/handlers/unresolved_assoc_item.rs')
| -rw-r--r-- | crates/ide-diagnostics/src/handlers/unresolved_assoc_item.rs | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/crates/ide-diagnostics/src/handlers/unresolved_assoc_item.rs b/crates/ide-diagnostics/src/handlers/unresolved_assoc_item.rs index 4ae528bf9f..f181021bdc 100644 --- a/crates/ide-diagnostics/src/handlers/unresolved_assoc_item.rs +++ b/crates/ide-diagnostics/src/handlers/unresolved_assoc_item.rs @@ -49,4 +49,25 @@ fn main() { "#, ); } + + #[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 {}; +} +"#, + ); + } } |