gcc/testsuite/gnat.dg/layered_instance.adb

   1 -- { dg-do compile }
   2
   3 with Layered_Abstraction_P;
   4 with layered_abstraction;
   5 procedure layered_instance is
   6    package s1 is new Layered_Abstraction_P (Integer, 15);
   7    package S2 is new Layered_Abstraction_P (Integer, 20);
   8    package Inst is new layered_abstraction (S1, S2);
   9 begin
  10    null;
  11 end;