Function rustc_traits::evaluate_obligation::evaluate_obligation

source · 
fn evaluate_obligation<'tcx>(
    tcx: TyCtxt<'tcx>,
    canonical_goal: CanonicalPredicateGoal<'tcx>
) -> Result<EvaluationResult, OverflowError>