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).

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

Commit messages:
 - Fix regression in type-class mediated shift operation

Changes: https://git.openjdk.org/valhalla/pull/2388/files
  Webrev: https://webrevs.openjdk.org/?repo=valhalla&pr=2388&range=00
  Stats: 3 lines in 2 files changed: 0 ins; 1 del; 2 mod
  Patch: https://git.openjdk.org/valhalla/pull/2388.diff
  Fetch: git fetch https://git.openjdk.org/valhalla.git pull/2388/head:pull/2388

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

Reply via email to