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

   1 --  { dg-do compile }
   2
   3 package box1 is
   4   type Root is tagged null record;
   5   type Der1 is new Root with record
   6      B : Boolean;
   7   end record;
   8
   9   type Der2 is new Der1 with null record;
  10   type Der3 is new Der2 with null record;
  11
  12   Obj : Der3 := (Der2 with others => <>);
  13 end;