Struct miri::stacked_borrows::diagnostics::DiagnosticCxBuilder

pub struct DiagnosticCxBuilder<'span, 'ecx, 'mir, 'tcx> {
    operation: Operation,
    current_span: &'span mut CurrentSpan<'ecx, 'mir, 'tcx>,
    threads: &'ecx ThreadManager<'mir, 'tcx>,
}

Fields

operation: Operation

current_span: &'span mut CurrentSpan<'ecx, 'mir, 'tcx>

threads: &'ecx ThreadManager<'mir, 'tcx>

Implementations

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

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

pub fn retag(
    current_span: &'span mut CurrentSpan<'ecx, 'mir, 'tcx>,
    threads: &'ecx ThreadManager<'mir, 'tcx>,
    cause: RetagCause,
    new_tag: SbTag,
    orig_tag: ProvenanceExtra,
    range: AllocRange
) -> Self

pub fn read(
    current_span: &'span mut CurrentSpan<'ecx, 'mir, 'tcx>,
    threads: &'ecx ThreadManager<'mir, 'tcx>,
    tag: ProvenanceExtra,
    range: AllocRange
) -> Self

pub fn write(
    current_span: &'span mut CurrentSpan<'ecx, 'mir, 'tcx>,
    threads: &'ecx ThreadManager<'mir, 'tcx>,
    tag: ProvenanceExtra,
    range: AllocRange
) -> Self

pub fn dealloc(
    current_span: &'span mut CurrentSpan<'ecx, 'mir, 'tcx>,
    threads: &'ecx ThreadManager<'mir, '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: 56 bytes