gcc/testsuite/gnat.dg/generic_inst5.adb

   1 --  { dg-do compile }
   2
   3 procedure Generic_Inst5 is
   4   generic
   5   package G1 is
   6   end G1;
   7
   8   generic
   9      with package I1 is new G1;
  10   package G2 is
  11   end G2;
  12
  13   package body G1 is
  14      package I2 is new G2 (I1 => G1);
  15   end G1;
  16
  17   package I1 is new G1;
  18 begin
  19   null;
  20 end;