Type Definition rustc_middle::ty::query::query_keys::type_op_prove_predicate

type type_op_prove_predicate<'tcx> = CanonicalTypeOpProvePredicateGoal<'tcx>;