#[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: VariableIDCyclicAssignmentDetected
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