Skip to content

Tracking Issue for rustc internal debug printing of infer var universes #113582

Closed as not planned
@BoxyUwU

Description

@BoxyUwU

#112984 introduced a way for rustc contributors to debug output the universes of ty/const/region vars. This comment lists a variety of things that should be followed up on. Particularly:

  • Introduce derive(DebugWithInfcx)
  • Do something about the way that type/consts store universes of infer vars differently than regions which makes debug output worse
  • DebugWithInfcx and InferCtxtLike should have documentation stating what they are for and why they exist in the form they do (a lot of this can likely be taken from the PR description)

cc @compiler-errors

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCT-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions