1-- { dg-do compile }
2
3procedure 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
13begin
14   null;
15end;
16