gcc/testsuite/gnat.dg/ifaces.adb

with Text_IO; use Text_IO;
package body Ifaces is
   procedure op1 (this : Root) is begin null; end;
   procedure op2 (this : DT)   is begin null; end;
end;