Struct miri::borrow_tracker::tree_borrows::diagnostics::HistoryData

pub struct HistoryData {
    pub events: Vec<(Option<SpanData>, String)>,
}

History formatted for use by src/diagnostics.rs.

NOTE: needs to be Send because of a bound on MachineStopType, hence the use of SpanData rather than Span.

Fields

events: Vec<(Option<SpanData>, String)>

Implementations

impl HistoryData

fn extend( &mut self, new_history: History, tag_name: &'static str, show_initial_state: bool )

Trait Implementations

impl Clone for HistoryData

fn clone(&self) -> HistoryData

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for HistoryData

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

Formats the value using the given formatter.

impl Default for HistoryData

fn default() -> HistoryData

Returns the “default value” for a type.

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