Struct miri::borrow_tracker::tree_borrows::diagnostics::History

pub struct History {
    tag: BorTag,
    created: (Span, Permission),
    events: Vec<Event>,
}

List of all events that affected a tag. NOTE: not all of these events are relevant for a particular location, the events should be filtered before the generation of diagnostics. Available filtering methods include History::forget and History::extract_relevant.

Fields

tag: BorTag

created: (Span, Permission)

events: Vec<Event>

Implementations

impl History

pub fn push(&mut self, event: Event)

Record an additional event to the history.

impl History

fn forget(&self) -> Self

Keep only the tag and creation

fn extract_relevant( &self, error_offset: u64, error_kind: TransitionError ) -> Self

Reconstruct the history relevant to error_offset by filtering only events whose range contains the offset we are interested in.

Trait Implementations

impl Clone for History

fn clone(&self) -> History

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for History

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

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