[code-reflection] RFR: Erase receiver type before calling Gen::binaryQualifier
Maurizio Cimadamore
mcimadamore at openjdk.org
Fri Apr 12 12:06:11 UTC 2024
I found an issue where `Gen::binaryQualifier` was called on a non-denotable reveiver type. This led to a crash, as `binaryQualifier` ended up creating a new symbol whose owner was the non-denotable receiver and, at least for some symbols, we check in the constructor that the owner can't be a type-variable.
The solution is to make sure that the receiver type (`site`) passed to `binaryQualifier` is always erased, which is also the assumption `Gen` makes (obviously).
-------------
Commit messages:
- Initial push
Changes: https://git.openjdk.org/babylon/pull/50/files
Webrev: https://webrevs.openjdk.org/?repo=babylon&pr=50&range=00
Stats: 44 lines in 2 files changed: 42 ins; 0 del; 2 mod
Patch: https://git.openjdk.org/babylon/pull/50.diff
Fetch: git fetch https://git.openjdk.org/babylon.git pull/50/head:pull/50
PR: https://git.openjdk.org/babylon/pull/50
More information about the babylon-dev
mailing list