Struct miri::borrow_tracker::stacked_borrows::diagnostics::DiagnosticCxBuilder

pub struct DiagnosticCxBuilder<'ecx, 'tcx> {
    operation: Operation,
    machine: &'ecx MiriMachine<'tcx>,
}

Fields

operation: Operation

machine: &'ecx MiriMachine<'tcx>

Implementations

impl<'ecx, 'tcx> DiagnosticCxBuilder<'ecx, 'tcx>

pub fn build<'history>( self, history: &'history mut AllocHistory, offset: Size, ) -> DiagnosticCx<'history, 'ecx, 'tcx>

pub fn retag( machine: &'ecx MiriMachine<'tcx>, info: RetagInfo, new_tag: BorTag, orig_tag: ProvenanceExtra, range: AllocRange, ) -> Self

pub fn read( machine: &'ecx MiriMachine<'tcx>, tag: ProvenanceExtra, range: AllocRange, ) -> Self

pub fn write( machine: &'ecx MiriMachine<'tcx>, tag: ProvenanceExtra, range: AllocRange, ) -> Self

pub fn dealloc(machine: &'ecx MiriMachine<'tcx>, tag: ProvenanceExtra) -> Self

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