https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126069
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |INVALID
Status|UNCONFIRMED |RESOLVED
CC| |ebotcazou at gcc dot gnu.org
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
The first example is illegal per the RM 4.3.5(6/6) rule, which has replaced the
RM 4.3.5(6/5) rule:
"The name specified for Empty for an Aggregate aspect shall denote exactly one
function with a result type of the container type that has no parameters, or
that has one in parameter of a signed integer type."
The second example is illegal per the RM 4.3.5(12/5) rule:
"The Aggregate aspect is nonoverridable."
because Ada.Containers.Vectors already has the Aggregate aspect and Add_Unnamed
is not fully conformant with the one declared for it.
See http://www.ada-auth.org/standards/22rm_w_amd1/html/RM-TOC.html
