gcc/testsuite/gnat.dg/discr15.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatws" }
   3
   4 with Discr15_Pkg; use Discr15_Pkg;
   5
   6 procedure Discr15 (History : in Rec_Multi_Moment_History) is
   7
   8   Sub: constant Rec_Multi_Moment_History := Sub_History_Of (History);
   9   subtype Vec is String(0..Sub.Last);
  10   Mmts : array(1..Sub.Size) of Vec;
  11
  12 begin
  13   null;
  14 end;