Function evaluate_obligation 

pub fn evaluate_obligation<'tcx>(
    tcx: TyCtxt<'tcx>,
    goal: CanonicalPredicateGoal<'tcx>,
) -> String