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