Function rustc_query_impl::make_query::type_op_prove_predicate

source · [−]
pub fn type_op_prove_predicate<'tcx>(
    tcx: QueryCtxt<'tcx>,
    key: type_op_prove_predicate<'tcx>
) -> QueryStackFrame
Expand description

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