Disambiguation

["Alex R. Mosteo" <devnull@mailinator.com>]

Hello, see this test program:

procedure Test_Ambig is

    type X is (Data, Meta);

    procedure Foo (Data : in Natural) is
       Z : constant X := Meta;
    begin
       case Z is
--         when Data     => null;
--         when X'(Data) => null;
--         when X.Data   => null;
--         when X (Data) => null;
          when Meta       => null;
       end case;
    end Foo;

begin
    null;
end Test_Ambig;

-----

I've tried the four commented lines (though I'm pretty sure three of 
them don't make sense) to get this to compile with Gnat for linux (3.4.2 
and all GAP releases). I think this is one of these cases where the 
answer is obvious but you need the eyes of other person. Is there some 
way to qualify "Data" as the enumeration type instead of the procedure 
parameter? Or is this simply a no-no caused by hiding? Thanks!