[code-reflection] RFR: Super expressions [v2]

[Maurizio Cimadamore]

On Fri, 6 Sep 2024 21:50:30 GMT, Paul Sandoz <psandoz at openjdk.org> wrote:

> For this `TypeVarRef` case i believe the method reference should refer to a declared method on the referencing class, it's the owner.

Yes, the `TypeVarRef` case only cares about the declaration - e.g. the TypeElement IR will put the correct owner class, method name and erased sig in there, so it should be possible to do a reflective lookup w/o going through method handles. That's mostly what I was trying to say. I'm not sure if there are visible differences with what you have now - as the examples I came up with seem to fall in the "esoteric" category :-)

-------------

PR Review Comment: https://git.openjdk.org/babylon/pull/221#discussion_r1749936562