gcc/testsuite/gnat.dg/specs/iface_eq_test-child.ads

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatc" }
   3 generic
   4 package Iface_Eq_Test.Child is
   5    protected type PO is new Iface with
   6       procedure Dummy;
   7    end;
   8    overriding function "=" (L, R : access PO) return Boolean;
   9 end;