Function rustc_trait_selection::traits::util::elaborate
source · pub fn elaborate<'tcx, O>(
tcx: TyCtxt<'tcx>,
obligations: impl IntoIterator<Item = O>
) -> Elaborator<'tcx, O>where
O: Elaboratable<'tcx>,
pub fn elaborate<'tcx, O>(
tcx: TyCtxt<'tcx>,
obligations: impl IntoIterator<Item = O>
) -> Elaborator<'tcx, O>where
O: Elaboratable<'tcx>,