gcc/testsuite/gnat.dg/specs/aggr3_pkg.ads

package Aggr3_Pkg is

   type Root is abstract tagged null record;

   type T is new Root with null record;

   My_T : T;

end Aggr3_Pkg;