Function rustc_infer::traits::util::elaborate

pub fn elaborate<'tcx, O: Elaboratable<'tcx>>(
    tcx: TyCtxt<'tcx>,
    obligations: impl IntoIterator<Item = O>
) -> Elaborator<'tcx, O>