Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
3 tasks
BoxyUwU opened this issue Jul 11, 2023 · 1 comment
Closed
3 tasks

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

BoxyUwU opened this issue Jul 11, 2023 · 1 comment
Labels
C-tracking-issue Category: An issue tracking the progress of sth. like the implementation of an RFC T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Comments

@BoxyUwU
Copy link
Member

BoxyUwU commented Jul 11, 2023

#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
@BoxyUwU BoxyUwU added the T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. label Jul 11, 2023
@rustbot rustbot added the needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. label Jul 11, 2023
@BoxyUwU BoxyUwU removed the needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. label Jul 11, 2023
@BoxyUwU BoxyUwU mentioned this issue Jul 11, 2023
Merged
@BoxyUwU BoxyUwU added the C-tracking-issue Category: An issue tracking the progress of sth. like the implementation of an RFC label Jul 11, 2023
@BoxyUwU
Copy link
Member Author

BoxyUwU commented Jul 2, 2024

We no longer are attempting to support this as it is a complete mess :3

@BoxyUwU BoxyUwU closed this as completed Jul 2, 2024
@BoxyUwU BoxyUwU closed this as not planned Won't fix, can't repro, duplicate, stale Jul 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-tracking-issue Category: An issue tracking the progress of sth. like the implementation of an RFC T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@BoxyUwU @rustbot