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

[Maurizio Cimadamore]

On Thu, 15 May 2025 16:51:46 GMT, Vicente Romero <vromero at openjdk.org> wrote:

>> 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`?

I said parent because it seems the supplimentary IC is the inner context. And we copy the inner context to the outer. So, in a way, some variables in the outer context come from the parent.

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

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