https://gcc.gnu.org/bugzilla/show_bug.cgi?id=34343
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- The reason is that the original proposal in the AI was to enable the new notation for "primitive and class-wide operations from the package in which an object's type is declared, as well as class-wide operations from packages in which types that "cover" the object's type are declared, would be effectively use visible." But the final wording is different and does not require that the program be a primitive operation (p1 and p3 are *not* primitive operations).
