gcc/testsuite/gnat.dg/generic_inst7_types.ads

   1 package Generic_Inst7_Types is
   2
   3    type Index is new Integer range 0 .. 10;
   4
   5    type Element is record
   6       I : Integer;
   7    end record;
   8
   9    type Element_Array is array (Index range <>) of Element;
  10
  11    type List (Size : Index := 1) is record
  12       Arr : Element_Array (1 .. Size);
  13    end record;
  14
  15 end Generic_Inst7_Types;