Function rustc_middle::dep_graph::dep_constructor::evaluate_obligation

pub fn evaluate_obligation<'tcx>(
    _tcx: TyCtxt<'_>, 
    arg: CanonicalPredicateGoal<'tcx>
) -> DepNode