[Bug ada/42411] Illegal program not detected, RM 4.1(8), 8.6(27)/2

[ebotcazou at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42411

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |INVALID

--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
The first construct is legal: the expected type of the dereference is T1, so
the expected type of its name is access to T1.