Integrated: [type-classes] Fix issue with type class op resolution inside speculative attribution
Maurizio Cimadamore
mcimadamore at openjdk.org
Tue Jan 27 21:58:03 UTC 2026
On Tue, 27 Jan 2026 11:50:01 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:
> During speculative attribution of lambda expressions, we might get to the unary/binary op resolution code with erroneous types.
> When this happens, type class witness resolution fails if Numerical/Integral are tweaked to contain witness methods.
>
> This PR fixes this condition and adds a test.
This pull request has now been integrated.
Changeset: e553106e
Author: Maurizio Cimadamore <mcimadamore at openjdk.org>
URL: https://git.openjdk.org/valhalla/commit/e553106eb86c84d3233b1fe477ce425c26a350fc
Stats: 140 lines in 5 files changed: 135 ins; 0 del; 5 mod
[type-classes] Fix issue with type class op resolution inside speculative attribution
-------------
PR: https://git.openjdk.org/valhalla/pull/1981
More information about the valhalla-dev
mailing list