1limited with Incomplete1;
2package 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" }
8end Incomplete2;
9