Type Alias chalk_ir::Fallible

pub type Fallible<T> = Result<T, NoSolution>;

Many of our internal operations (e.g., unification) are an attempt to perform some operation which may not complete.

Aliased Type

enum Fallible<T> {
    Ok(T),
    Err(NoSolution),
}

Variants

Ok(T)

Contains the success value

Err(NoSolution)

Contains the error value

Trait Implementations

impl<T, U, E> CastTo<Result<U, E>> for Result<T, E>where T: CastTo<U>, U: HasInterner,

fn cast_to(self, interner: U::Interner) -> Result<U, E>

Cast a value to type T.

impl<T, E> HasInterner for Result<T, E>where T: HasInterner,

type Interner = <T as HasInterner>::Interner

The interner associated with the type.