RFR 8178150: Regression in logic for handling inference stuck constraints

[B. Blaser]

On 13 June 2018 at 10:05, Maurizio Cimadamore
<maurizio.cimadamore at oracle.com> wrote:
> Resurrecting this old thread.
>
> There haven't been many comments on the spec side of this.
>
> I'm tempted to go ahead and submit (after proper re-testing)  one last
> iteration of this patch. The focus would be on fixing the regression in
> stuck constraint resolution that has been affecting the compiler for a while
> - I plan to leave performance and spec-related issues as part of follow up
> tasks - I don't think we came across on evidence that this patch regresses
> on either fronts.
>
> Thoughts?
>
> Maurizio

I looked again at this issue some time ago and I didn't have any
objection with your latest fix.
I didn't saw any clear and major non-conformity issue with the JLS and
further optimization isn't essential (adding a cache may be brittle
and other suggestions I made are probably more on cleanup than on
performance gain).
So, without any conformance & performance regression evidence, I think
this looks good.

Bernard