Constraints in extended return

[Simon Wright <simon@pushface.org>]

This code transposes a matrix:

   function Transpose (M : Complex_Matrix) return Complex_Matrix
   is
   begin
      return Result : Complex_Matrix (M'Range (2), M'Range (1)) do
        for J in M'Range (1) loop
           for K in M'Range (2) loop
              Result (K, J) := M (J, K);
           end loop;
        end loop;
      end return;
   end Transpose;

This is all very well for providing a value where no constraint is
otherwise imposed, for example as an actual in a subprogram call, but
what about the case where there is a prior constraint?

   Input : Complex_Matrix (1 .. 2, 11 .. 12);
   Output : Complex_Matrix (1 .. 2, 1 .. 2);
begin
   Input := (...);
   Output := Transpose (Input);

Is there any way for the extended return to determine the constraints of
the 'target'? I suspect not, but the language in RM6.5 is deep.