https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117485
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
Summary|aspect "type_invariant" |aspect "type_invariant"
|only allowed for private |only allowed for private
|type or corresponding full |type or corresponding full
|view, but RM doesn't |view
|mention that |
CC| |ebotcazou at gcc dot gnu.org
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
RM 2022 7.3.2(2/3):
"Type_Invariant
This aspect shall be specified by an expression, called an invariant
expression. Type_Invariant may be specified on a private_type_declaration, on a
private_extension_declaration, or on a full_type_declaration that declares the
completion of a private type or private extension."
