Module chalk_solve::display

Structs

• IdAliasStore
• InvertedBoundVar
  Like a BoundVar, but with the debrujin index inverted so as to create a canonical name we can use anywhere for each bound variable.
• WriterState
  Writer state which persists across multiple writes.

Functions

• sanitize_debug_name
  Processes a name given by an Interner debug method into something usable by the display module.
• write_items
  Writes out each item recorded by a LoggingRustIrDatabase.
• write_stub_items
  Writes stubs for items which were referenced by name, but for which we didn’t directly access. For instance, traits mentioned in where bounds which are only usually checked during well-formedness, when we weren’t recording well-formedness.