gcc/testsuite/gnat.dg/discr23_pkg.ads

   1 package Discr23_Pkg is
   2
   3   subtype Size_Range is Positive range 1 .. 256;
   4
   5   type Text (Size : Size_Range) is
   6     record
   7       Characters : String( 1.. Size);
   8     end record;
   9
  10   function Get return Text;
  11
  12 end Discr23_Pkg;