gcc/testsuite/gnat.dg/discr36.adb

   1 -- { dg-do compile }
   2
   3 with Discr36_Pkg;
   4
   5 package body Discr36 is
   6
   7   function N return Natural is begin return 0; end;
   8
   9   type Arr is array (1 .. N) of R;
  10
  11   function My_Func is new Discr36_Pkg.Func (Arr);
  12
  13   procedure Proc is
  14     A : constant Arr := My_Func;
  15   begin
  16     null;
  17   end;
  18
  19 end Discr36;