1--  { dg-do compile }
2
3procedure Default_Pkg_Actual is
4
5   generic
6   package As is
7   end As;
8
9   generic
10      type T is private;
11      with package A0 is new As;
12   package Bs is
13   end Bs;
14
15   generic
16      with package Xa is new As;
17   package Xs is
18      package Xb is new Bs(T => Integer, A0 => Xa);
19   end Xs;
20
21   generic
22      with package Yb is new Bs(T => Integer, others => <>);
23   package Ys is
24   end Ys;
25
26   package A is new As;
27   package X is new Xs(Xa => A);
28   package Y is new Ys(Yb => X.Xb);
29
30begin
31   null;
32end;
33