[Bug ada/119643] replacement of Integer by Natural/Positive not ignored in subprogram renaming

[pmnw at mailbox dot org via Gcc-bugs]

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

--- Comment #3 from Michał L. <pmnw at mailbox dot org> ---
(In reply to Eric Botcazou from comment #1)
> Hasty generalization though, as this happens only for the replacement of
> Integer by Natural/Positive (...)

That's good news.
Excuse the generalization - I found this behaviour while learning Ada.
My limited knowledge prevented me from seeing the full picture.

(In reply to Eric Botcazou from comment #2)
> Minimal kluge

Thanks.