Function rustc_trait_selection::traits::fully_solve_obligations

pub fn fully_solve_obligations<'a, 'tcx>(
    infcx: &InferCtxt<'a, 'tcx>,
    obligations: impl IntoIterator<Item = PredicateObligation<'tcx>>
) -> Vec<FulfillmentError<'tcx>>

Process a set of obligations (and any nested obligations that come from them) to completion