gcc/testsuite/gnat.dg/specs/renaming2_pkg4.ads

   1 -- { dg-excess-errors "no code generated" }
   2
   3 generic
   4
   5   type Length_T is range <>;
   6
   7   with function Next return Length_T is <>;
   8
   9   type Value_T is private;
  10
  11   with function Value (L : Length_T) return Value_T is <>;
  12
  13 package Renaming2_Pkg4 is
  14
  15   generic
  16     type T is private;
  17   package Inner is
  18
  19     type Slave_T is tagged null record;
  20
  21     function Next_Value return Value_T;
  22
  23   end Inner;
  24
  25 end Renaming2_Pkg4;