generic
package Generic_Test is
   procedure Foo;
end Generic_Test;


with Ada.Finalization;
package body Generic_Test is

   type Extra is new Ada.Finalization.Controlled with null record;

   procedure Foo is
   begin
      null;
   end Foo;

end Generic_Test;