[−][src]Enum smt2::TypeCheckError

pub enum TypeCheckError<T> {
    Missmatch(usize, AbstractGroundSort<T>),
    Ambiguity(usize),
}

Functions type check errors.

Variants

Missmatch(usize, AbstractGroundSort<T>)

The given function argument (given by it's index) has a wrong type. The second parameter is the expected sort of the argument.

Ambiguity(usize)

There is an ambiguity on the given type parameter (given by it's index). To solve the ambiguity, the user should use the (as <term> <sort>) term construction.

Auto Trait Implementations

impl<T> RefUnwindSafe for TypeCheckError<T> where
    T: RefUnwindSafe, 

impl<T> Send for TypeCheckError<T> where
    T: Send, 

impl<T> Sync for TypeCheckError<T> where
    T: Sync, 

impl<T> Unpin for TypeCheckError<T> where
    T: Unpin, 

impl<T> UnwindSafe for TypeCheckError<T> where
    T: UnwindSafe, 

Blanket Implementations

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

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

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

The type returned in the event of a conversion error.