Implement a 'lint' warning in javac for a 'synchronized' statement whose operand is known to be @ValueBased.
This should apply to an operand expression that has any of:
- A class type, where the named class is declared @ValueBased
- An interface type, where the named interface is declared @ValueBased
- A type variable or intersection type with a @ValueBased bound
This should apply to an operand expression that has any of:
- A class type, where the named class is declared @ValueBased
- An interface type, where the named interface is declared @ValueBased
- A type variable or intersection type with a @ValueBased bound
- blocks
-
JDK-8249100 JEP 390: Warnings for Value-Based Classes
- Closed
- csr for
-
JDK-8256023 [JEP 390] Add 'lint' warning for synchronization attempts on value-based class instances
- Closed
- duplicates
-
JDK-8203465 Add a lint mode for diagnosing violations of specification for value based classes
- Closed
- relates to
-
JDK-8257845 Integrate JEP 390
- Resolved
-
JDK-8252181 [JEP 390] Define & apply annotation jdk.internal.ValueBased
- Resolved
(2 links to)