Return value that is an access to array element

["Martin Dowie" <martin.dowie@btopenworld.com>]

Given the following code, should a compiler raise an error given
LM 3.10.2 (25) as an error or not?

generic
   type T is private;
   type TA is access all T;
package Foo is
   type XT is private;
   function Get (X : XT) return TA;
private
   type AT is array (Positive range <>) of aliased T;
   type AA is access AT;
   type XT is record
      A : AA;
   end record;
end Foo;

package body Foo is
   function Get (X : XT) return TA is
   begin
      return X.A (1)'Access;  -- Error here?
   end Get;
end Foo;