Struct RelevantMirItems 

pub struct RelevantMirItems<'tcx> {
    pub checkpoint: CheckpointLocation,
    pub property: Property<'tcx>,
    pub path: Path,
    pub items: Vec<BackwardItem<'tcx>>,
    pub roots: RelevantPlaces,
}

MIR items relevant to one (checkpoint, path, property) item.

Fields

checkpoint: CheckpointLocation

Unsafe checkpoint whose obligation is being checked.

property: Property<'tcx>

Required property that determines the relevance roots.

path: Path

Path being visited.

items: Vec<BackwardItem<'tcx>>

Items kept from the path.

roots: RelevantPlaces

Initial roots extracted from the property.

Implementations

impl<'tcx> RelevantMirItems<'tcx>

pub fn describe( &self, tcx: TyCtxt<'tcx>, checkpoint: &Checkpoint<'tcx>, path_index: usize, ) -> String

Render a detailed, path-ordered diagnostic for a checkpoint visit.

pub fn describe_for_checkpoint( &self, tcx: TyCtxt<'tcx>, checkpoint: CheckpointLocation, path_index: usize, ) -> String

Render diagnostics for a struct invariant checkpoint (no callee name).

fn describe_common( &self, tcx: TyCtxt<'tcx>, path_index: usize, header: &str, ) -> String

impl<'tcx> RelevantMirItems<'tcx>

pub fn push(&mut self, item: BackwardItem<'tcx>)

Append one kept item to the visited path.

pub fn is_empty(&self) -> bool

Return true when no MIR/path item has been kept yet.

Trait Implementations

impl<'tcx> Clone for RelevantMirItems<'tcx>

fn clone(&self) -> RelevantMirItems<'tcx>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for RelevantMirItems<'tcx>

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

Formats the value using the given formatter.