Type Definition rustc_middle::ty::query::query_storage::type_op_prove_predicate

type type_op_prove_predicate<'tcx> = DefaultCache<Canonical<'tcx, ParamEnvAnd<'tcx, ProvePredicate<'tcx>>>, Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>;