Function rustc_query_impl::make_query::type_op_prove_predicate

pub fn type_op_prove_predicate<'tcx>(
    tcx: QueryCtxt<'tcx>, 
    key: type_op_prove_predicate<'tcx>
) -> QueryStackFrame

Do not call this query directly: part of the ProvePredicate type-op