What does this statement do?

[adam@irvine.com (Adam Beneschan)]

Question for Ada gurus: In the following program, what should happen
with the statement marked HERE?

(a) Z is set to the value of the local variable N
(b) Func is called recursively, and Z is set to the component N of the
    function result
(c) The compiler rejects the statement as ambiguous

				-- thanks, Adam

with Text_IO; use Text_IO;
procedure Test is
    
    type Rectype is record
        M : integer;
        N : integer;
    end record;
    
    Result    : Rectype;
    Recursive : boolean := false;
    
    function Func return Rectype is
        
        N : integer;
        X : integer;
        
        procedure Inner (Z : out integer) is
        begin
            Z := Func.N;        -- <======== HERE
        end Inner;
        
    begin
        N := 1;
        if Recursive then
            return (M => 2, N => 3);
        else
            Recursive := true;
            Inner (X);
            return (M => X, N => X);
        end if;
    end Func;
    
begin
    Result := Func;
    Put_Line (integer'image (Result.M) & ", " & integer'image
(Result.N));
end Test;