On 16 août, 19:08, Adam Beneschan <a...@irvine.com> wrote:
> On Aug 16, 9:11 am, mala...@magic.fr wrote:
>
> The assignment statements are illegal.  Every "anonymous access type"
> definition defines its own type; therefore Acc1 and Arg don't have the
> same type, and neither of those types is the same as Acc2_Type.  GNAT
> has a bug if it accepts them.
>
> Furthermore, this would be illegal due to accessibility level rules:
>
>     Acc2 := Acc_Type(Arg);
>

Thank you.
This confirms my initial understanding.
I have reported the problem to ACT.

Regards