gcc/testsuite/gnat.dg/late_overriding.adb

   1 -- { dg-do compile }
   2
   3 procedure late_overriding is
   4    package Pkg is
   5       type I is interface;
   6       procedure Meth (O : in I) is abstract;
   7       type Root is abstract tagged null record;
   8       type DT1 is abstract new Root and I with null record;
   9    end Pkg;
  10    use Pkg;
  11    type DT2 is new DT1 with null record;
  12    procedure Meth (X : DT2) is begin null; end;  --  Test
  13 begin
  14    null;
  15 end;