Uncertainty about fix for JDK-5059679

[Archie Cobbs]

Hi Alex,

Thanks for the detailed answer. I'm still digesting it but first one quick
question:

On Mon, Feb 13, 2023 at 3:16 PM Alex Buckley <alex.buckley at oracle.com>
wrote:

> The simple way to apply 8.4.8.3 is to set C = Lower and A = Upper, so
> that m1 = method(Class<?>) and m2 = method(Class<R>).
>

That's what I thought at first, but I got hung up on this logic...

In that scenario, m2 is "a method m2 declared in a superinterface of C, A".
Then criterion 4 refers to "the same erasure as the declared signature of
m2".

Wouldn't then the declared signature of m2 be method(T)?

I can't find the definition of "declared signature" but I was thinking it's
the signature of the method's declaration... ? I guess my intuition is
wrong.

Thanks,
-Archie

-- 
Archie L. Cobbs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/compiler-dev/attachments/20230213/bc6a464e/attachment.htm>