1--  { dg-do compile }
2
3procedure 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;
18begin
19  null;
20end;
21