-- { dg-do run } with Limited1_Outer; use Limited1_Outer; procedure Limited1 is X : Outer_Type := Make_Outer; begin null; end;