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][chalk_ir::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.