Struct miri::borrow_tracker::tree_borrows::diagnostics::DisplayRepr

struct DisplayRepr {
    tag: BorTag,
    name: Option<String>,
    rperm: Vec<Option<LocationState>>,
    children: Vec<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.

Fields

tag: BorTag

name: Option<String>

rperm: Vec<Option<LocationState>>

children: Vec<DisplayRepr>

Implementations

impl DisplayRepr

fn from(tree: &Tree, show_unnamed: bool) -> Option<Self>

fn print( &self, fmt: &DisplayFmt, indenter: &mut DisplayIndent, protected_tags: &FxHashMap<BorTag, ProtectorKind>, ranges: Vec<Range<u64>>, print_warning: bool )

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