https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123902
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2026-02-01
Ever confirmed|0 |1
CC| |ebotcazou at gcc dot gnu.org
Summary|Discriminants break |prefixed-view notation
|untagged prefix notation |rejected for private and
| |concurrent types with
| |-gnatX
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
I think that the spirit of the extension is to lift the restriction entirely.
