gcc/testsuite/gnat.dg/iface_test.ads

   1 package Iface_Test is
   2    type Iface_1 is interface;
   3    type Iface_2 is interface;
   4
   5    procedure Prepare_Select
   6      (DB   : Iface_1;
   7       Iter : in out Iface_2'Class) is abstract;
   8
   9    type DT_1 is new Iface_1 with null record;
  10
  11    type Iterator is new Iface_2 with record
  12       More : Boolean;
  13    end record;
  14
  15    overriding procedure Prepare_Select
  16      (DB   : DT_1;
  17       Iter : in out Standard.Iface_Test.Iface_2'Class);
  18 end;