RFR: 8288120: VerifyError with JEP 405 pattern match

Jan Lahoda jlahoda at openjdk.org
Fri Jun 17 13:58:42 UTC 2022


When pattern matching is looking up the accessor methods, it currently uses `Scope.findFirst`. This method may find a method with the same name from the record's supertype. The proposal is to use `Resolve.resolveInternalMethod` which should lookup the methods based on the ordinary rules, and should find the accessor from the record.

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

Commit messages:
 - 8288120: VerifyError with JEP 405 pattern match

Changes: https://git.openjdk.org/jdk19/pull/34/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk19&pr=34&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8288120
  Stats: 54 lines in 2 files changed: 48 ins; 1 del; 5 mod
  Patch: https://git.openjdk.org/jdk19/pull/34.diff
  Fetch: git fetch https://git.openjdk.org/jdk19 pull/34/head:pull/34

PR: https://git.openjdk.org/jdk19/pull/34


More information about the compiler-dev mailing list