gcc/testsuite/gnat.dg/tagged3_pkg.adb

with Ada.Text_IO; use Ada.Text_IO;
package body Tagged3_Pkg is
   procedure Prim1 (Self : access Parent) is
   begin
      raise Program_Error;
   end;

   procedure Prim1 (Self : access Child) is
   begin
     Child_Prim1_Called := True;
   end;
end;