[code-reflection] Integrated: Drop support for quoted structural lambdas

[Maurizio Cimadamore]

On Thu, 6 Nov 2025 15:02:04 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> The Babylon compiler extension supports structural quoting of lambdas. That is, if a lambda expression has `Quoted` target, then it must have explicit parameter types, and must be type-checked bottom up:
> 
> 
> Quoted q = () ->  {}
> 
> 
> Historically, `Quoted` was the first way to model quotable lambda expressions, and the language changes to support structural quotable lambdas were fairly invasive. Since then we moved to a more minimalistic approach which is similar to what we do for serializable lambdas: we use an intersection type cast to force quotability of the lambda expression:
> 
> 
> Runnable r = (Runnable & Quotable)() ->  {}
> 
> 
> Since the surface area of the `Quotable` support is much smaller (it shares the same machinery already available for serializable lambdas), it would be better to remove support for Quoted target when moving towards incubation.
> 
> This PR fixes all existing tests in langtools/JDK to use `Quotable` instead of `Quoted`. I did **not** check HAT, or `cr-examples`.

This pull request has now been integrated.

Changeset: df4acf29
Author:    Maurizio Cimadamore <mcimadamore at openjdk.org>
URL:       https://git.openjdk.org/babylon/commit/df4acf29669e71de292c9c552a4ed45d69123bed
Stats:     1912 lines in 36 files changed: 56 ins; 1754 del; 102 mod

Drop support for quoted structural lambdas

Reviewed-by: psandoz

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

PR: https://git.openjdk.org/babylon/pull/667