-- { dg-do compile }
-- { dg-options "-gnatws" }
package body interface5 is
function F (Object : Child) return access Child is
begin
return null;
end F;
end interface5;
-- { dg-do compile }
-- { dg-options "-gnatws" }
package body interface5 is
function F (Object : Child) return access Child is
begin
return null;
end F;
end interface5;