gcc/testsuite/gnat.dg/default_pkg_actual.adb

   1 --  { dg-do compile }
   2
   3 procedure 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
  30 begin
  31    null;
  32 end;