gcc/testsuite/gnat.dg/array18_pkg.ads

   1 package Array18_Pkg is
   2
   3    function N return Positive;
   4
   5    subtype S is String (1 .. N);
   6
   7    function F return S;
   8
   9 end Array18_Pkg;