https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123306
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |15.3
--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Workaround in case anyone else comes across this before 15.3: Just force the
> type to be frozen by declaring a constant of the non-classwide type.
>
> Interestingly `X : constant Mutably_Tagged;` does not work for this but `X :
> constant Mutably_Tagged := (null record);` does as well as `X :
> Mutably_Tagged;` (without constant).
Yes, per 13.14(6): "The occurrence of an object_declaration that has no
corresponding completion causes freezing."
