record extension aggregate for returned type legal?

[Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>]

Using two different compilers, I get contradicting messages
for the following package, viz no message at all, and an
error message pointing to LRM 4.3.2(4). Which one is right?


package Ext is

   type T is tagged private;

   package B is
      function make return T;
   end B;

private
   type T is tagged record
      n: Natural;
   end record;
end Ext;



package body Ext is

   package body B is
      function make return T is
      begin
         return (T with n => 0);  -- here
         --return (n => 0);
      end make;

   end B;

end Ext;


-- TIA, georg