gcc/testsuite/gnat.dg/thunk1_pkg2.ads

   1 package Thunk1_Pkg2 is
   2
   3   type Root is tagged record
   4     I : Integer;
   5   end record;
   6
   7   type Iface is interface;
   8   procedure Op (This : in out Iface; S : String) is abstract;
   9
  10   type Ext is new Root and Iface with null record;
  11
  12   procedure Op (This : in out Ext; S : String);
  13
  14 end Thunk1_Pkg2;