diff options
| author | jackh726 <git@jackhuey.me> | 2025-08-15 04:50:21 +0000 |
|---|---|---|
| committer | jackh726 <git@jackhuey.me> | 2025-08-17 16:04:50 +0000 |
| commit | 058a398f9fd11783aa62691bfb4b029c1a3d313c (patch) | |
| tree | fc0c01ebeaf4f077145fa4ad46e0cec8fbdcb914 | |
| parent | 3e41e85b2761bbe21169e7dd72cb959fb63a31fa (diff) | |
| download | rust-058a398f9fd11783aa62691bfb4b029c1a3d313c.tar.gz rust-058a398f9fd11783aa62691bfb4b029c1a3d313c.zip | |
Add FIXME in named_associated_type_shorthand_candidates
| -rw-r--r-- | src/tools/rust-analyzer/crates/hir-ty/src/lower_nextsolver.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/rust-analyzer/crates/hir-ty/src/lower_nextsolver.rs b/src/tools/rust-analyzer/crates/hir-ty/src/lower_nextsolver.rs index 99411e4ab13..7a2bd37bce6 100644 --- a/src/tools/rust-analyzer/crates/hir-ty/src/lower_nextsolver.rs +++ b/src/tools/rust-analyzer/crates/hir-ty/src/lower_nextsolver.rs @@ -1782,6 +1782,9 @@ fn named_associated_type_shorthand_candidates<'db, R>( TypeNs::SelfType(impl_id) => { let trait_ref = db.impl_trait_ns(impl_id)?; + // FIXME(next-solver): same method in `lower` checks for impl or not + // Is that needed here? + // we're _in_ the impl -- the binders get added back later. Correct, // but it would be nice to make this more explicit search(trait_ref.skip_binder()) |