1with Deferred_Const4_Pkg;
2
3package 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
17end Deferred_Const4;
18