pub struct InvalidRelation { /* private fields */ }Expand description
A relation that does not describe a valid instance.
Raised by PermutationRelation::compile,
the one gate through which a relation becomes a
PermutationInstance. Building a relation
never fails; the checks run here.
Implementations§
Trait Implementations§
Source§impl Clone for InvalidRelation
impl Clone for InvalidRelation
Source§fn clone(&self) -> InvalidRelation
fn clone(&self) -> InvalidRelation
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · 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 InvalidRelation
impl Debug for InvalidRelation
Source§impl Display for InvalidRelation
impl Display for InvalidRelation
impl Eq for InvalidRelation
Source§impl Error for InvalidRelation
impl Error for InvalidRelation
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 PartialEq for InvalidRelation
impl PartialEq for InvalidRelation
impl StructuralPartialEq for InvalidRelation
Auto Trait Implementations§
impl Freeze for InvalidRelation
impl RefUnwindSafe for InvalidRelation
impl Send for InvalidRelation
impl Sync for InvalidRelation
impl Unpin for InvalidRelation
impl UnsafeUnpin for InvalidRelation
impl UnwindSafe for InvalidRelation
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<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