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.