<div dir="ltr"><div dir="ltr"><div>Hi Alex,</div><div><br></div><div>Thanks for the detailed answer. I'm still digesting it but first one quick question:<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Feb 13, 2023 at 3:16 PM Alex Buckley <<a href="mailto:alex.buckley@oracle.com" target="_blank">alex.buckley@oracle.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">The simple way to apply 8.4.8.3 is to set C = Lower and A = Upper, so <br>
that m1 = method(Class<?>) and m2 = method(Class<R>).<br></blockquote><div><br></div><div>That's what I thought at first, but I got hung up on this logic...</div><div><br></div><div>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".</div><div><br></div><div>Wouldn't then the declared signature of m2 be method(T)? <br></div><div><br></div><div>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.<br></div><div><br></div><div>Thanks,</div><div>-Archie</div><br></div>-- <br><div dir="ltr">Archie L. Cobbs<br></div></div>