fn associated_types_for_impl_traits_in_associated_fn<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id_arg: associated_types_for_impl_traits_in_associated_fn<'tcx>
) -> associated_types_for_impl_traits_in_associated_fn<'tcx>