Module miri::borrow_tracker::tree_borrows::perms::diagnostics