Constant miri::borrow_tracker::tree_borrows::diagnostics::DEFAULT_FORMATTER

const DEFAULT_FORMATTER: DisplayFmt;