Skip to content

Document HIR ty lowering #178

Description

@nikomatsakis

Note

The issue description has been rewritten by @fmease.


See its API docs: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_hir_analysis/hir_ty_lowering/index.html.

The chapter should explain:

  • Meaning & origin of its current name (HIR ty lowering) and of its previous name (astconv).
  • Purpose, incl. bigger picture
  • "Conventions", "restrictions", "self imposed rules" (e.g., Various HirTyLowerer cleanups rust#125819 (comment)).
  • "Limitations" (cc arbitrary shorthand projection & inherent associated type debates)

Activity

  1. rajcspsg commented on Jan 18, 2019

    @rajcspsg
  2. mark-i-m commented on Jan 18, 2019

    @mark-i-m
  3. rajcspsg commented on Jan 18, 2019

    @rajcspsg
  4. mark-i-m commented on Jan 18, 2019

    @mark-i-m
  5. added
    E-hardDifficulty: might require advanced knowledge
    on Jan 18, 2019
  6. nikomatsakis commented on Jan 18, 2019

    @nikomatsakis
    Author
  7. nikomatsakis commented on Jan 18, 2019

    @nikomatsakis
    Author
  8. added
    A-HIRArea: high-level intermediate representation (HIR)
    T-compilerRelevant to the compiler team
    A-ASTArea: abstract syntax tree
    on Nov 4, 2024
  9. jieyouxu commented on Nov 4, 2024

    @jieyouxu
    Member

    Triage: astconv isn't a thing anymore AFAIK, it's probably now called ast_lowering.

  10. fmease commented on Nov 4, 2024

    @fmease
    Member

    Nope, it's called HIR ty lowering

  11. changed the title [-]document astconv[/-] [+]Document HIR ty lowering[/+] on Nov 4, 2024
  12. added
    T-typesRelevant to the types team
    and removed
    A-ASTArea: abstract syntax tree
    on Nov 4, 2024
  13. jieyouxu commented on Nov 4, 2024

    @jieyouxu
    Member

    (For easier reference, the PR that renamed it is rust-lang/rust#120926)

  14. self-assigned this
    on Nov 4, 2024
  15. fmease commented on Nov 4, 2024

    @fmease
    Member

    Tentatively assigning myself but I invite others to contribute too if I take too long (cuz I prolly won't prioritize this).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

A-HIRArea: high-level intermediate representation (HIR)C-enhancementCategory: enhancementE-hardDifficulty: might require advanced knowledgeE-help-wantedCall for participation: extra help is wantedT-compilerRelevant to the compiler teamT-typesRelevant to the types team

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions