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

Vicente Romero vromero at openjdk.org
Thu May 15 18:02:51 UTC 2025


On Thu, 15 May 2025 17:48:00 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> 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.

I see, yes makes sense

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

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


More information about the compiler-dev mailing list