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;