[Bug ada/123902] prefixed-view notation rejected for discriminated private with -gnatX

[ebotcazou at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|prefixed-view notation      |prefixed-view notation
                   |rejected for discriminated  |rejected for discriminated
                   |private and concurrent      |private with -gnatX
                   |types with -gnatX           |

--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
On second thoughts, lifting the restriction for concurrent types would require
associated legality rules to avoid conflict with protected operations or
entries like in your example, so this would be incompatible.