gcc/testsuite/gnat.dg/bip_prim_func.adb

   1 --  { dg-do compile }
   2
   3 package body BIP_Prim_Func is
   4
   5    type NTT is new TT with record
   6       J : Integer;
   7    end record;
   8
   9    function Prim_Func return NTT is
  10    begin
  11       return Result : NTT := (I => 1, J => 2);
  12    end Prim_Func;
  13
  14 end BIP_Prim_Func;