https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122574
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- I don't think that the RM says anything about the Inline aspect on formal subprogram parameters, as far as I can see it only mentions generic subprograms explicitly. This would very likely change nothing for GNAT.
