Type Definition Fallible
Other items inrustc_infer::traits::query
type Fallible<T> = Result<T, NoSolution>;