On Tue, 5 May 2026 12:00:45 GMT, Maurizio Cimadamore <[email protected]> 
wrote:

> The fix for https://github.com/openjdk/valhalla/pull/1981 introduced a 
> regression in type-class mediated attribution of shift operators.
> The test for such operators should only check for reference-ness of the first 
> operand (the one that might potentially be a type class).
> Shift operators are "weird" in that they are not symmetric -- first operand 
> is T, second operand is `int` -- and that leads to issue.
> The code before https://github.com/openjdk/valhalla/pull/1981 took this into 
> account, but unfortunately the workaround was reverted by accident.
> 
> ---------
> - [x] I confirm that I make this contribution in accordance with the [OpenJDK 
> Interim AI Policy](https://openjdk.org/legal/ai).

This pull request has now been integrated.

Changeset: dd497143
Author:    Maurizio Cimadamore <[email protected]>
URL:       
https://git.openjdk.org/valhalla/commit/dd497143138ec98da0098170ce0bf59ea542fb00
Stats:     3 lines in 2 files changed: 0 ins; 1 del; 2 mod

[type-classes] Fix regression in type-class mediated shift operation

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

PR: https://git.openjdk.org/valhalla/pull/2388

Reply via email to