Module miri::borrow_tracker::tree_borrows::diagnostics

source ยท


  • DisplayFmt ๐Ÿ”’
    All parameters to determine how the tree is formatted.
  • DisplayFmtAccess ๐Ÿ”’
    How to show whether a location has been accessed
  • DisplayFmtPadding ๐Ÿ”’
    Formatting of the tree structure.
  • Formatting of the permissions on each range.
  • DisplayFmtWrapper ๐Ÿ”’
    Pretty-printing details
  • DisplayIndent ๐Ÿ”’
    Track the indentation of the tree.
  • DisplayRepr ๐Ÿ”’
    Extracted information from the tree, in a form that is readily accessible for printing. I.e. resolve parent-child pointers into an actual tree, zip permissions with their tag, remove wrappers, stringify data.
  • Complete data for an event:
  • List of all events that affected a tag. NOTE: not all of these events are relevant for a particular location, the events should be filtered before the generation of diagnostics. Available filtering methods include History::forget and History::extract_relevant.
  • History formatted for use by src/
  • Some information that is irrelevant for the algorithm but very convenient to know about a tag for debugging and testing.
  • TbError ๐Ÿ”’
    Failures that can occur during the execution of Tree Borrows procedures.


  • Cause of an access: either a real access or one inserted by Tree Borrows due to a reborrow or a deallocation.
  • TransitionError ๐Ÿ”’



  • char_repeat ๐Ÿ”’
    Repeat a character a number of times.

Type Aliasesยง

  • S ๐Ÿ”’