RFR: 8325859: potential information loss during type inference [v3]

[Vicente Romero]

On Thu, 15 May 2025 16:45:58 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> Vicente Romero has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains four additional commits since the last revision:
>> 
>>  - Merge branch 'master' into JDK-8325859
>>  - make visitor static
>>  - updating doc
>>  - 8325859: potential information loss during type inference
>
> src/jdk.compiler/share/classes/com/sun/tools/javac/comp/InferenceContext.java line 103:
> 
>> 101:      * needs to deal with an inference variable that has been eliminated from IC_IV while minimizing it
>> 102:      */
>> 103:     InferenceContext supplementaryIC;
> 
> Let's call this `next`, or `parent` ?

I think it is more a `child` context than a `parent` one, `nested`?

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

PR Review Comment: https://git.openjdk.org/jdk/pull/25011#discussion_r2091610728