gcc-4.9/gcc/testsuite/gnat.dg/deferred_const4.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

with Deferred_Const4_Pkg;

package Deferred_Const4 is

  type R1 is tagged record
    I1 : Integer;
  end record;

  type R2 is new R1 with record
    I2 : Integer;
  end record;

  package My_Q is new Deferred_Const4_Pkg (R2);

  function F return My_Q.T;

end Deferred_Const4;