Closed as not planned
Description
#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
andInferCtxtLike
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)