gcc/testsuite/gnat.dg/overriding_ops2.ads

   1 with Overriding_Ops2_Pkg.High;
   2
   3 package Overriding_Ops2 is
   4    type Consumer is tagged limited private;
   5 private
   6    type Consumer is
   7       limited
   8       new Overriding_Ops2_Pkg.High.High_Level_Session
   9    with null record;
  10
  11    overriding procedure Finalize (Self : in out Consumer);
  12 end Overriding_Ops2;