gcc/testsuite/gnat.dg/incomplete2.ads

   1 limited with Incomplete1;
   2 package Incomplete2 is
   3    pragma Elaborate_Body;
   4    generic
   5       type T is private;
   6    package G is end G;
   7    package I1 is new G (Incomplete1.T); -- { dg-error "premature use" }
   8 end Incomplete2;