Struct LeftBehind 

pub struct LeftBehind { /* private fields */ }

The items a failed copy left at the destination — one of them at least, always.

A plain Vec here would let EngineError::CopyNotUndone be built naming nothing still there, and naming what is still there is the whole reason that failure is distinct from the one it wraps: a user told only that the copy could not be undone, and then handed an empty list, has been told about a destination nobody described to them, which is exactly the blind retry this mechanism exists to remove. The first id is a field of its own, so the empty case cannot be written down.

Implementations

impl LeftBehind

pub fn new(first: GlobalId) -> Self

The list holding the one item every such refusal has to name.

pub fn push(&mut self, id: GlobalId)

Record another item the destination would not take back.

pub fn iter(&self) -> impl Iterator<Item = &GlobalId>

Every item still at the destination, in the order the destination refused them.

Trait Implementations

impl Clone for LeftBehind

fn clone(&self) -> LeftBehind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeftBehind

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

Formats the value using the given formatter.

impl Display for LeftBehind

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

The qualified ids, comma-separated — the form the failure message reads in.

impl PartialEq for LeftBehind

fn eq(&self, other: &LeftBehind) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for LeftBehind