https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123289
--- Comment #15 from Liam Powell <liam at liampwll dot com> --- > Probably for the sake of simplicity, but to be confirmed by the discussion > recorded in the relevant AIs once www.ada-auth.org is available again... >From AI12-0437-1/02 for reference: (2) We don't want there to be multiple element types for a container aggregate, as we don't want to complicate aggregate resolution (no other aggregate allows multiple element types). As such, only a single subprogram can be allowed for each of these names. Note that isn't a given, as some other aspects, like Variable_Indexing, can represent a set of overloaded functions.
