Type Alias chalk_ir::Fallible

source ·
pub type Fallible<T> = Result<T, NoSolution>;
Expand description

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§

§1.0.0

Ok(T)

Contains the success value

§1.0.0

Err(NoSolution)

Contains the error value

Trait Implementations§

source§

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

source§

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

Cast a value to type T.
source§

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

§

type Interner = <T as HasInterner>::Interner

The interner associated with the type.