gcc/testsuite/gnat.dg/iface_test.adb

   1 --  { dg-do compile }
   2 package body Iface_Test is
   3    protected SQLite_Safe is
   4       function Prepare_Select
   5         (DB   : DT_1;
   6          Iter : Standard.Iface_Test.Iface_2'Class)
   7       return Standard.Iface_Test.Iface_2'Class;
   8    end;
   9
  10    overriding procedure Prepare_Select
  11      (DB   : DT_1;
  12       Iter : in out Standard.Iface_Test.Iface_2'Class)
  13    is
  14    begin
  15       Iter := SQLite_Safe.Prepare_Select (DB, Iter);  --  test
  16    end;
  17
  18    protected body SQLite_Safe is
  19       function Prepare_Select
  20         (DB   : DT_1;
  21          Iter : Standard.Iface_Test.Iface_2'Class)
  22         return Standard.Iface_Test.Iface_2'Class
  23       is
  24       begin
  25          return Iter;
  26       end;
  27    end;
  28 end;