On Tue, 1 Dec 2020 07:33:25 GMT, David Holmes <dhol...@openjdk.org> wrote:

>> Start of JDK 17 updates.
>
> src/jdk.compiler/share/classes/com/sun/tools/javac/code/Source.java line 226:
> 
>> 224:         REIFIABLE_TYPES_INSTANCEOF(JDK16, 
>> Fragments.FeatureReifiableTypesInstanceof, DiagKind.PLURAL),
>> 225:         RECORDS(JDK16, Fragments.FeatureRecords, DiagKind.PLURAL),
>> 226:         SEALED_CLASSES(JDK17, Fragments.FeatureSealedClasses, 
>> DiagKind.PLURAL),
> 
> Is this changed because it is still preview?

Right; JEP 397: "Sealed Classes (Second Preview)" is PTT for JDk 16.

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

PR: https://git.openjdk.java.net/jdk/pull/1531

Reply via email to