Struct arithmetic_typing::error::OpErrors

pub struct OpErrors<'a, Prim: PrimitiveType> { /* private fields */ }

Error container tied to a particular top-level operation that has a certain span and context.

Supplied as an argument to TypeArithmetic methods and Substitutions::unify().

Implementations

impl<Prim: PrimitiveType> OpErrors<'_, Prim>

pub fn push(&mut self, kind: ErrorKind<Prim>)

Adds a new error into this the error list.

pub fn check(&mut self, check: impl FnOnce(OpErrors<'_, Prim>)) -> bool

Invokes the provided closure and returns false if new errors were added during the closure execution.

pub fn by_ref(&mut self) -> OpErrors<'_, Prim>

Mutably borrows this container allowing to use it multiple times.

pub fn join_path( &mut self, path: impl Into<ErrorPathFragment> ) -> OpErrors<'_, Prim>

Narrows down the path to the error.

Trait Implementations

impl<'a, Prim: Debug + PrimitiveType> Debug for OpErrors<'a, Prim>

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

Formats the value using the given formatter.