pub fn elaborate_trait_refs<'tcx>(
    tcx: TyCtxt,
    trait_refs: impl Iterator<Item = Binder<TraitRef>>
) -> Elaborator