Struct ProofGoal 

pub struct ProofGoal<'tcx> {
    pub path: Path,
    pub items: Vec<RelevantItem<'tcx>>,
}

A proof goal for one (checkpoint, path) item: the set of relevant items plus the path context needed to verify the target property.

Fields

path: Path

Path being visited; path.target identifies the checkpoint.

items: Vec<RelevantItem<'tcx>>

Items kept from the path.

Trait Implementations

impl<'tcx> Clone for ProofGoal<'tcx>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for ProofGoal<'tcx>

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

Formats the value using the given formatter.