generic
package pak1 is
   type T1 is tagged null record;
end pak1;

generic
   type T2 is new T1 with private;
package pak1.pak2 is
end pak1.pak2;

with pak1.pak2;
package Test_248167 is
   package new_pak1 is new pak1;
   package new_pak2 is new new_pak1.pak2 (new_pak1.T1);
end Test_248167;


test_248167.ads:5:51: expect type derived from "T1" in instantiation
test_248167.ads:5:51: instantiation abandoned
gnatmake: "test_248167.ads" compilation error