UnsatGenericConstraint

chandeliers_err::error

Struct UnsatGenericConstraint 

Source 
pub struct UnsatGenericConstraint<variable, previous, new, context> {
    pub variable: variable,
    pub previous: previous,
    pub new: new,
    pub context: context,
}
Expand description

Impossible to satisfy generic constraints introduced by bounds.

Fields§

§variable: variable

Type variable.

§previous: previous

Already equal to.

§new: new

Now additionally required to be equal to.

§context: context

Bound introduced by this node declaration.

Trait Implementations§

Source§

impl<variable, previous, new, context> IntoError for UnsatGenericConstraint<variable, previous, new, context>
where variable: Display, previous: Display + TrySpan, new: Display + TrySpan, context: TrySpan,

Source§

fn into_err(self) -> Error

Produce the sequence of spans and help messages.

Auto Trait Implementations§

§

impl<variable, previous, new, context> Freeze for UnsatGenericConstraint<variable, previous, new, context>
where variable: Freeze, previous: Freeze, new: Freeze, context: Freeze,

§

impl<variable, previous, new, context> RefUnwindSafe for UnsatGenericConstraint<variable, previous, new, context>
where variable: RefUnwindSafe, previous: RefUnwindSafe, new: RefUnwindSafe, context: RefUnwindSafe,

§

impl<variable, previous, new, context> Send for UnsatGenericConstraint<variable, previous, new, context>
where variable: Send, previous: Send, new: Send, context: Send,

§

impl<variable, previous, new, context> Sync for UnsatGenericConstraint<variable, previous, new, context>
where variable: Sync, previous: Sync, new: Sync, context: Sync,

§

impl<variable, previous, new, context> Unpin for UnsatGenericConstraint<variable, previous, new, context>
where variable: Unpin, previous: Unpin, new: Unpin, context: Unpin,

§

impl<variable, previous, new, context> UnwindSafe for UnsatGenericConstraint<variable, previous, new, context>
where variable: UnwindSafe, previous: UnwindSafe, new: UnwindSafe, context: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.