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

[Maurizio Cimadamore]

On Thu, 15 May 2025 15:39:54 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> right I was writing a very similar example, and X is not replaced because the minimized inference context doesn't know about X

That is true -- however, when we create the minimized context, we set a listener from the minimized context to the original context, so that whenever *any* propagated variable is solved, we also solve the "independent" variables. This listener works -- the problem is that the replacement in the inferred method signature never occurs. So I'd like to spend some more time understanding exactly why this happens.

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

PR Comment: https://git.openjdk.org/jdk/pull/25011#issuecomment-2884324095