[lworld] Integrated: 8329345: [lworld] type of expression in a synchronized statement can be an abstract value class

[Vicente Romero]

On Fri, 29 Mar 2024 21:36:28 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> 14.19 The synchronized Statement of the JLS for 401 [1] states:
> 
> 
> SynchronizedStatement:
>     synchronized ( Expression ) Block
> 
> The type of Expression must be a reference type, and must not be a final value class type, or a type variable or intersection type bounded by a final value class type, or a compile-time error occurs.
> 
> javac is not allowing value classes even if they are abstract, javac should be in sync with the latest spec
> 
> [1] https://cr.openjdk.org/~dlsmith/jep401/jep401-20240222/specs/value-objects-jls.html

This pull request has now been integrated.

Changeset: ef6bdcc2
Author:    Vicente Romero <vromero at openjdk.org>
URL:       https://git.openjdk.org/valhalla/commit/ef6bdcc2f3726ec738dedabb5423aa44c4bc7e4e
Stats:     4 lines in 2 files changed: 2 ins; 0 del; 2 mod

8329345: [lworld] type of expression in a synchronized statement can be an abstract value class

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

PR: https://git.openjdk.org/valhalla/pull/1068