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§
Trait Implementations§
source§impl<T, E> HasInterner for Result<T, E>where
T: HasInterner,
impl<T, E> HasInterner for Result<T, E>where T: HasInterner,
§type Interner = <T as HasInterner>::Interner
type Interner = <T as HasInterner>::Interner
The interner associated with the type.