gcc/testsuite/gnat.dg/thunk1_pkg2.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14

package Thunk1_Pkg2 is

  type Root is tagged record
    I : Integer;
  end record;

  type Iface is interface;
  procedure Op (This : in out Iface; S : String) is abstract;

  type Ext is new Root and Iface with null record;

  procedure Op (This : in out Ext; S : String);

end Thunk1_Pkg2;