GNAT GPL 2011 bug ?

[David <d.combesdhenaux@gmail.com>]

Hi all,

The compiler accept the line mark by a arrow of the adb bellow and
refuse the line mark by "****". I think it must not accept the first
line to. What do you think ?

Thanks

-------  ads  --------

  type I is interface;

   procedure set (Self  :    out I;
                       Value : in     Natural) is abstract;


   type A is abstract tagged null record;

   procedure set (Self  :    out A;
                       Value : in     Natural) is abstract;


   type Implement_I is new I with null record;

   overriding procedure set (Self  :    out Implement_I;
                                      Value : in     Natural) is
null;

   Null_Implement_I : constant Implement_I := Implement_I'(null
record);

   type Implement_A is new A with null record;

   overriding procedure set (Self  :    out Implement_A;
                                     Value : in     Natural) is null;

   Null_Implement_A : constant Implement_A := Implement_A'(null
record);

   procedure Test;



---   adb   ---

procedure Test
is
   L_I   : constant test.I'Class    := Null_Implement_I;
   L_A : constant test.A'Class   := Null_Implement_A;
begin
   L_I.set (Value => 2); <--------
   L_A.set (Value => 2); *******
end;