gcc/testsuite/gnat.dg/ifaces.ads

   1
   2 package Ifaces is
   3    type Iface_1 is interface;
   4    procedure op1(this : Iface_1) is abstract;
   5 --
   6    type Iface_2 is interface;
   7    procedure op2 (this : Iface_2) is abstract;
   8 --
   9    type Root is new Iface_1 with record
  10       m_name : String(1..4);
  11    end record;
  12 --
  13    procedure op1 (this : Root);
  14 --
  15    type DT is new Root and Iface_2 with null record;
  16    procedure op2 (this : DT);
  17 end;