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