Type Definition rustc_middle::ty::query::query_storage::evaluate_obligation

type evaluate_obligation<'tcx> = DefaultCache<Canonical<'tcx, ParamEnvAnd<'tcx, Predicate<'tcx>>>, Result<EvaluationResult, OverflowError>>;