[Bug ada/111433] New: Erroneous message "error: null exclusion for "O" does not match"

[p.p11 at orange dot fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111433

            Bug ID: 111433
           Summary: Erroneous message "error: null exclusion for "O" does
                    not match"
           Product: gcc
           Version: 13.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: p.p11 at orange dot fr
                CC: dkm at gcc dot gnu.org
  Target Milestone: ---

Created attachment 55908
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55908&action=edit
Archive of reproducer and full error message.

When compiling the procedure body, I got:
     8.    procedure Clear (O : access TJavaMeth) is
                     |
        >>> error: not fully conformant with declaration at objsrc.ads:25
        >>> error: null exclusion for "O" does not match
whereas procedure spec is:
    25.    procedure Clear (O : access TJavaMeth);

However, the declarations spec and body are identical.
What could be wrong?

I got this error when I add:
    20.    procedure Append (O : access TJavaClass; M : PJavaMeth);
and the incomplete type:
    14.    type TJavaMeth;
    15.    type PJavaMeth is access TJavaMeth;

HTH, Pascal.
See full source and full error message in attached zip.