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

Vicente Romero vromero at openjdk.org
Thu Apr 10 18:37:12 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 one additional commit since the last revision:

  minor error in condition

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

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

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

  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 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