https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123289
--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Thanks, I somehow managed to completely miss that. I do wonder if there's a > technical reason for the "exactly one" restriction as there is no reason > given in the AARM. Probably for the sake of simplicity, but to be confirmed by the discussion recorded in the relevant AIs once www.ada-auth.org is available again...
