Struct miri::helpers::CurrentSpan

pub struct CurrentSpan<'a, 'mir, 'tcx> {
    span: Option<Span>,
    machine: &'a Evaluator<'mir, 'tcx>,
}

A CurrentSpan should be created infrequently (ideally once) per interpreter step. It does nothing on creation, but when CurrentSpan::get is called, searches the current stack for the topmost frame which corresponds to a local crate, and returns the current span in that frame. The result of that search is cached so that later calls are approximately free.

Fields

span: Option<Span>

machine: &'a Evaluator<'mir, 'tcx>

Implementations

impl<'a, 'mir, 'tcx> CurrentSpan<'a, 'mir, 'tcx>

pub fn get(&mut self) -> Span

fn current_span(machine: &Evaluator<'_, '_>) -> Span

Trait Implementations

impl<'a, 'mir, 'tcx> Clone for CurrentSpan<'a, 'mir, 'tcx>

fn clone(&self) -> CurrentSpan<'a, 'mir, 'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

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