RFR: 8343580: Type error with inner classes of generic classes in functions generic by outer
Aggelos Biboudis
abimpoudis at openjdk.org
Wed May 21 14:53:52 UTC 2025
On Wed, 21 May 2025 14:49:21 GMT, Chen Liang <liach at openjdk.org> wrote:
>> I think that wouldn't be a problem.
>>
>> In the original example we try to type-check `G.Getter`.
>> With your example `<T, U extends Getters<T>, G extends U>` we would type check `G.Getter` for validity and then `U.Getter`. But maybe I am wrong.
>>
>> In any case, both cases deserve corresponding test cases and correct treatment. Thanks @liach. Will update.
>
> You are right. I missed that this call `allparams` is already recursive!
Maybe I am wrong. We will figure it with more tests. Your comment was very useful I think. Thank you!!
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/25346#discussion_r2100498582
More information about the compiler-dev
mailing list