Function rustc_trait_selection::traits::fully_solve_obligation

pub fn fully_solve_obligation<'a, 'tcx>(
    infcx: &InferCtxt<'a, 'tcx>,
    obligation: PredicateObligation<'tcx>
) -> Vec<FulfillmentError<'tcx>>

Process an obligation (and any nested obligations that come from it) to completion, returning any errors