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