RFR: 8322810: Lambda expression types can't be classes [v5]

Vicente Romero vromero at openjdk.org
Thu Apr 10 17:51:25 UTC 2025


> Currently javac is accepting code like:
> 
> 
> class Test {
>     void m() {
>         var r = (Test & Runnable) () -> System.out.println("Hello, World!");
>     }
> }
> 
> 
> according to: `4.9 Intersection Types` a notional interface can't be induced here as one of the components is a class different from `j.l.Object`
> 
> With this fix this code pattern will be rejected with a compiler error
> 
> TIA

Vicente Romero has updated the pull request incrementally with two additional commits since the last revision:

 - addressing review comments
 - improving error message

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/24548/files
  - new: https://git.openjdk.org/jdk/pull/24548/files/2e641029..2dcaa548

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=24548&range=04
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=24548&range=03-04

  Stats: 39 lines in 5 files changed: 21 ins; 5 del; 13 mod
  Patch: https://git.openjdk.org/jdk/pull/24548.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/24548/head:pull/24548

PR: https://git.openjdk.org/jdk/pull/24548


More information about the compiler-dev mailing list