Function rustc_trait_selection::traits::util::traits::util::elaborate_predicates

pub fn elaborate_predicates<'tcx>(
    tcx: TyCtxt, 
    predicates: impl Iterator<Item = Predicate>
) -> Elaborator