1 2 3 4 5 6 7 8
-- { 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;