gcc/testsuite/gnat.dg/aggr8.adb

   1 --  { dg-do compile }
   2
   3 procedure aggr8 is
   4
   5    type Byte is mod 2 ** 8;
   6    subtype two is integer range 1..2;
   7    -- type Sequence is array (1 .. 2) of Byte;
   8    type Sequence is array (Two) of Byte;
   9
  10    type Block is record
  11       Head : Sequence  := (11, 22);
  12    end record;
  13
  14    procedure Nest is
  15       Blk : Block;  pragma Unreferenced (Blk);
  16    begin
  17       null;
  18    end;
  19
  20 begin
  21    null;
  22 end;