https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124310
--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- No, nothing is 100% clear with accessibility rules, they are informally called "the Heart of Darkness" and citing their preamble does not mean anything. That being said, the latest testcase (which has little to do with the original one and the subject of the PR) is more interesting and should indeed probably raise Program_Error for the assignment to A. But it's again very artificial, to say least.
