Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/ide-completion/src/completions/dot.rs')
| -rw-r--r-- | crates/ide-completion/src/completions/dot.rs | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/crates/ide-completion/src/completions/dot.rs b/crates/ide-completion/src/completions/dot.rs index 911ef60930..727ec6e608 100644 --- a/crates/ide-completion/src/completions/dot.rs +++ b/crates/ide-completion/src/completions/dot.rs @@ -918,4 +918,26 @@ fn main() { ", ) } + + #[test] + fn issue_12484() { + check( + r#" +//- minicore: sized +trait SizeUser { + type Size; +} +trait Closure: SizeUser {} +trait Encrypt: SizeUser { + fn encrypt(self, _: impl Closure<Size = Self::Size>); +} +fn test(thing: impl Encrypt) { + thing.$0; +} + "#, + expect![[r#" + me encrypt(…) (as Encrypt) fn(self, impl Closure<Size = <Self as SizeUser>::Size>) + "#]], + ) + } } |