Module chalk_solve::display::items

Writer logic for top level items.

Contains code specific to top-level items and other structures specific to a single top-level item.

Macros

• write_flags 🔒
  Used in AdtDatum and TraitDatum to write n flags from a flags struct to a writer. Each flag field turns into an if expression + write!, so we can just list the names and not repeat this pattern over and over.