Struct miri::stacked_borrows::diagnostics::DiagnosticCxBuilder
source · pub struct DiagnosticCxBuilder<'span, 'ecx, 'mir, 'tcx> {
operation: Operation,
current_span: &'span mut CurrentSpan<'ecx, 'mir, 'tcx>,
threads: &'ecx ThreadManager<'mir, 'tcx>,
}Fields
operation: Operationcurrent_span: &'span mut CurrentSpan<'ecx, 'mir, 'tcx>threads: &'ecx ThreadManager<'mir, 'tcx>Implementations
sourceimpl<'span, 'ecx, 'mir, 'tcx> DiagnosticCxBuilder<'span, 'ecx, 'mir, 'tcx>
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
Auto Trait Implementations
impl<'span, 'ecx, 'mir, 'tcx> !RefUnwindSafe for DiagnosticCxBuilder<'span, 'ecx, 'mir, 'tcx>
impl<'span, 'ecx, 'mir, 'tcx> !Send for DiagnosticCxBuilder<'span, 'ecx, 'mir, 'tcx>
impl<'span, 'ecx, 'mir, 'tcx> !Sync for DiagnosticCxBuilder<'span, 'ecx, 'mir, 'tcx>
impl<'span, 'ecx, 'mir, 'tcx> Unpin for DiagnosticCxBuilder<'span, 'ecx, 'mir, 'tcx>where
'ecx: 'span,
'mir: 'ecx + 'span,
'tcx: 'ecx + 'span,
impl<'span, 'ecx, 'mir, 'tcx> !UnwindSafe for DiagnosticCxBuilder<'span, 'ecx, 'mir, 'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<V, T> VZip<V> for Twhere
V: MultiLane<T>,
impl<V, T> VZip<V> for Twhere
V: MultiLane<T>,
fn vzip(self) -> V
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