rust-lang / rust-lang/rust-analyzer
Do more name resolution in body lowering
Nobody has claimed this yet.
- Dominant language
- Rust
- Stars
- 16.9k
- Forks
- 2.2k
- Avg merge
- 1d 12h
- Merged PRs (30d)
- 72
Description
Right now body lowering is just that, going from AST -> HIR, all resolution actually happens in type checking. This makes the inference query a lot more complicated than it needs to be. Some things we should probably resolve are labels, lifetimes (unsure about this one) and paths (only partially given paths might require type info for full resolution).
cc https://github.com/rust-lang/rust-analyzer/pull/14368#discussion_r1139941211
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reading the linked discussion and tracing body lowering from AST to HIR, then compare it with the inference query and type checking. Determine which resolution responsibilities can move for labels, lifetimes, and partially resolvable paths; done means the inference query is simpler without requiring type information for full path resolution.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- compilers
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100