rust-lang / rust-lang/rustc-dev-guide
Consolidate HKTBs, leak-check and universes information around with what we have in the guide
Open
Nobody has claimed this yet.
A-leak-check
C-tracking-issue
E-hard
E-needs-investigation
E-needs-writeup
T-types
- Dominant language
- HTML
- Stars
- 1.9k
- Forks
- 612
- Avg merge
- 17h 24m
- Merged PRs (30d)
- 39
Description
There's great information about all these concepts in MCPs, PRs, issues, etc.
- Universes #55517
- Tracking issue for "universe transition" #56105
- Re-implement leak check in terms of universes #58592
- eventual goal: re-remove leak-check from compiler #59490
- replace the leak check with universes, take 2 #65232
- extend NLL checker to understand
'emptycombined with universes #70950 - MCP: move leak-check to during coherence, candidate eval
- move leak-check to during coherence, candidate eval #72493
- the existing HRTB page in the guide, which mentions what are placeholder leaks, some information about the leak check, and so on but it seems to describe the state of things pre-universes and they have changed since then (as shown in the list of PRs above)
Would be great to review them and add stuff into the guide.
Contributor guide
No contributing guide indexed for this repository
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 with the existing HRTB page in the rustc-dev-guide and review the linked universes, leak-check, HRTB, MCP, issue, and pull request material. Consolidate the current information about HKTBs, leak checking, and universes in the guide, updating the pre-universes content so it reflects the newer state.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- compilers, documentation
- Issue type
- Documentation
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100