gcc/testsuite/gnat.dg/disp1_pkg.ads

package Disp1_Pkg is

   type I1 is interface;
   type DT_I1 is new I1 with null record;

end Disp1_Pkg;