gcc/testsuite/gnat.dg/deferred_const4.ads

   1 with Deferred_Const4_Pkg;
   2
   3 package Deferred_Const4 is
   4
   5   type R1 is tagged record
   6     I1 : Integer;
   7   end record;
   8
   9   type R2 is new R1 with record
  10     I2 : Integer;
  11   end record;
  12
  13   package My_Q is new Deferred_Const4_Pkg (R2);
  14
  15   function F return My_Q.T;
  16
  17 end Deferred_Const4;