Type Definition chalk_ir::Fallible

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.