Struct miri::borrow_tracker::tree_borrows::diagnostics::DisplayFmtPermission

struct DisplayFmtPermission {
    open: &'static str,
    sep: &'static str,
    close: &'static str,
    uninit: &'static str,
    range_sep: &'static str,
}

Formating of the permissions on each range.

Example:

DisplayFmtPermission {
    open: "[",
    sep: "|",
    close: "]",
    uninit: "___",
    range_sep: "..",
}

will show each permission line as

0.. 1.. 2.. 3.. 4.. 5
[Act|Res|Frz|Dis|___]

Fields

open: &'static str

Text that starts the permission block.

sep: &'static str

Text that separates permissions on different ranges.

close: &'static str

Text that ends the permission block.

uninit: &'static str

Text to show when a permission is not initialized. Should have the same width as a Permission’s .short_name(), i.e. 3 if using the Res/Act/Frz/Dis notation.

range_sep: &'static str

Text to separate the start and end values of a range.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 80 bytes