rust-lang / rust-lang/rustc-dev-guide

Define "existential impl Trait" and "universal impl Trait"

Open
#1,010 1 comment 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

A-glossary C-enhancement E-medium T-compiler T-types
Dominant language
HTML
Stars
1.9k
Forks
613
Avg merge
17h 24m
Merged PRs (30d)
39

Description

In the section on AST to HIR lowering, these terms are used without explanation or definition. Perhaps they should be added to the glossary and then linked to.

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with the AST to HIR lowering section and inspect the existing glossary structure. Add definitions for existential impl Trait and universal impl Trait, then link the terms from the lowering section. Done means both terms are defined and the usages are linked consistently.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
compilers, documentation
Issue type
Documentation
Difficulty
2/5
Estimated time
1-3 hours
Activity status
Stale
Clarity
Clearly specified
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.