[code-reflection] RFR: JavaRef extends TypeElement [v2]

Maurizio Cimadamore mcimadamore at openjdk.org
Wed Apr 30 21:19:04 UTC 2025


On Wed, 30 Apr 2025 18:01:27 GMT, Paul Sandoz <psandoz at openjdk.org> wrote:

>> src/jdk.incubator.code/share/classes/jdk/incubator/code/type/JavaRef.java line 21:
>> 
>>> 19:     // @@@ Make RecordTypeRef.ComponentRef implement JavaRef?
>>> 20:     //     - resolve to accessor method
>>> 21:     //     - (RecordTypeRef resolves to Type.)
>> 
>> Shouldn't it resolve to `RecordComponent` ?
>
> Yes!

Question - if Java code calls a method on a record... is the "ref" attached to the invoke operation a record type ref? I don't think that is the case, as I don't remember any special logic in javac to emit a record type ref when generating field/method references?

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

PR Review Comment: https://git.openjdk.org/babylon/pull/416#discussion_r2069453336


More information about the babylon-dev mailing list