fix: ensure implied bounds from associated types are considered in autocomplete

[davidbarsky]

closes: #16989

rust-analyzer needs to consider implied bounds from associated types in order to get all methods suggestions people expect. A pretty easy way to do that is to keep the candidate_trait_id's receiver if it matches TyFingerprint::Unnameable. When benchmarking this change, I didn't notice a meaningful difference in autocomplete latency.

(TyFingerprint::Unnameable corresponds to TyKind::AssociatedType, TyKind::OpaqueType, TyKind::FnDef, TyKind::Closure, TyKind::Coroutine, and TyKind::CoroutineWitness.)

[Veykril]

Would be good to add the reproduction as a test to crates\ide-completion\src\tests\special.rs or crates\ide-completion\src\tests\expression.rs

[Veykril]

@bors delegate+

[bors]

✌️ @davidbarsky, you can now approve this pull request!

If @Veykril told you to "r=me" after making some further change, please make that change, then do @bors r=@Veykril

[davidbarsky]

Would be good to add the reproduction as a test to crates\ide-completion\src\tests\special.rs or crates\ide-completion\src\tests\expression.rs

Good point! I ended up adding a test in crates/ide-completion/src/tests/flyimport.rs instead because some of the other tests I wrote for this functionality were in that file.

[davidbarsky]

@bors r=@Veykril

[bors]

📌 Commit f14d862 has been approved by Veykril

It is now in the queue for this repository.

[bors]

☔ The latest upstream changes (presumably #17252) made this pull request unmergeable. Please resolve the merge conflicts.

[davidbarsky]

@bors retry

[davidbarsky]

☔ The latest upstream changes (presumably #17252) made this pull request unmergeable. Please resolve the merge conflicts.

hoisted by my own petard!

[davidbarsky]

@bors r=@Veykril

[bors]

📌 Commit a0d3a81 has been approved by Veykril

It is now in the queue for this repository.

[bors]

⌛ Testing commit a0d3a81 with merge 653b69e...

[bors]

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 653b69e to master...