Struct miri::borrow_tracker::tree_borrows::diagnostics::DisplayFmtAccess

struct DisplayFmtAccess {
    yes: &'static str,
    no: &'static str,
    meh: &'static str,
}

How to show whether a location has been accessed

Example:

DisplayFmtAccess {
    yes: " ",
    no: "?",
    meh: "_",
}

will show states as

 Act
?Res
____

Fields

yes: &'static str

Used when State.initialized = true.

no: &'static str

Used when State.initialized = false. Should have the same width as yes.

meh: &'static str

Used when there is no State. Should have the same width as yes.

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: 48 bytes