pub enum ApChangeError {
ProgramRegistryError(Box<ProgramRegistryError>),
StatementOutOfBounds(StatementIdx),
StatementOutOfOrder(StatementIdx),
WrongNumApChangeBranches(StatementIdx),
BadMergeAllocatedLocalsMismatch(StatementIdx),
BadMergeBaseMismatch(StatementIdx),
SolvingApChangeEquationFailed,
}
Expand description
Error occurring while calculating the costing of a program’s variables.
Variants§
ProgramRegistryError(Box<ProgramRegistryError>)
StatementOutOfBounds(StatementIdx)
StatementOutOfOrder(StatementIdx)
WrongNumApChangeBranches(StatementIdx)
BadMergeAllocatedLocalsMismatch(StatementIdx)
BadMergeBaseMismatch(StatementIdx)
SolvingApChangeEquationFailed
Trait Implementations§
source§impl Debug for ApChangeError
impl Debug for ApChangeError
source§impl Display for ApChangeError
impl Display for ApChangeError
source§impl Error for ApChangeError
impl Error for ApChangeError
source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
Returns the lower-level source of this error, if any. Read more
1.0.0 · source§fn description(&self) -> &str
fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()
source§impl From<Box<ProgramRegistryError>> for ApChangeError
impl From<Box<ProgramRegistryError>> for ApChangeError
source§fn from(source: Box<ProgramRegistryError>) -> Self
fn from(source: Box<ProgramRegistryError>) -> Self
Converts to this type from the input type.
source§impl PartialEq for ApChangeError
impl PartialEq for ApChangeError
impl Eq for ApChangeError
impl StructuralPartialEq for ApChangeError
Auto Trait Implementations§
impl Freeze for ApChangeError
impl RefUnwindSafe for ApChangeError
impl Send for ApChangeError
impl Sync for ApChangeError
impl Unpin for ApChangeError
impl UnwindSafe for ApChangeError
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more