#[non_exhaustive]pub enum SubstitutionError {
RecursiveAssignment {
var_id: VariableID,
},
CyclicAssignmentDetected,
}
Expand description
Error types that can occur during substitution operations.
Variants (Non-exhaustive)§
This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
RecursiveAssignment
Error indicating that a recursive assignment was attempted.
Fields
§
var_id: VariableID
CyclicAssignmentDetected
Error indicating that a cycle was detected in the assignment graph.
Trait Implementations§
Source§impl Clone for SubstitutionError
impl Clone for SubstitutionError
Source§fn clone(&self) -> SubstitutionError
fn clone(&self) -> SubstitutionError
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for SubstitutionError
impl Debug for SubstitutionError
Source§impl Display for SubstitutionError
impl Display for SubstitutionError
Source§impl Error for SubstitutionError
impl Error for SubstitutionError
1.30.0 · 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<SubstitutionError> for RawParseError
impl From<SubstitutionError> for RawParseError
Source§fn from(source: SubstitutionError) -> Self
fn from(source: SubstitutionError) -> Self
Converts to this type from the input type.
Source§impl PartialEq for SubstitutionError
impl PartialEq for SubstitutionError
impl Eq for SubstitutionError
impl StructuralPartialEq for SubstitutionError
Auto Trait Implementations§
impl Freeze for SubstitutionError
impl RefUnwindSafe for SubstitutionError
impl Send for SubstitutionError
impl Sync for SubstitutionError
impl Unpin for SubstitutionError
impl UnwindSafe for SubstitutionError
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<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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> 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