[Bug ada/123306] assertion failure for unfrozen mutably tagged type as actual in instance

[liam at liampwll dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123306

Liam Powell <liam at liampwll dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|FIXED                       |---
             Status|RESOLVED                    |ASSIGNED

--- Comment #8 from Liam Powell <liam at liampwll dot com> ---
This fix does not work when multiple levels of generics are involved. See
reproducer below:

pragma Ada_2022;
pragma Extensions_Allowed (All_Extensions);

generic --  Works when this line is removed.
package Controller is
   generic
   package Config is
      type Mutably_Tagged is tagged null record with Size'Class => 128;
   end Config;

   package My_Config is new Config;

   generic
      type T is private;
   package G is
   end G;

   package My_G is new G (My_Config.Mutably_Tagged'Class);
end Controller;