gcc/testsuite/gnat.dg/gen_formal_pkg_w.ads

   1 with Gen_Formal_Pkg_A, Gen_Formal_Pkg_B;
   2
   3 generic
   4    with package Ai is new Gen_Formal_Pkg_A (<>);
   5 package Gen_Formal_Pkg_W is
   6
   7    procedure P1 (T : Ai.T1) is null;
   8
   9    package Bi is new Gen_Formal_Pkg_B (Ai.T1, Ai);
  10
  11    procedure P2 (T : Ai.T1) is null;
  12
  13 end Gen_Formal_Pkg_W;