Function rustc_query_impl::make_query::evaluate_obligation

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

Do not call this query directly: invoke infcx.predicate_may_hold() or infcx.predicate_must_hold() instead.