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
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