fn associated_types_for_impl_traits_in_trait_or_impl<'tcx>( tcx: TyCtxt<'tcx>, def_id: LocalDefId, ) -> DefIdMap<Vec<DefId>>