JSR 400 (Java SE 25): JEP Proposed to Target: 507: Primitive Types in Patterns, instanceof, and switch (Third Preview)

[Iris Clark]

The following JEP with scope "SE" has been proposed to target JDK 25:

    507: Primitive Types in Patterns, instanceof, and switch (Third Preview)
         https://openjdk.org/jeps/507

    Summary: Enhance pattern matching by allowing primitive types in all
    pattern contexts, and extend instanceof and switch to work with all
    primitive types.  This is a preview language feature.

The announced deadline for feedback to jdk-dev is Thu 22 May 15:00 UTC:

    https://mail.openjdk.org/pipermail/jdk-dev/2025-May/010084.html

If there are no unresolved objections at that time, then the JEP will be moved
to the Targeted state, indicating that the feature is expected to appear in
the specified release of the JDK Project.  For more information about states,
see the JEP Process document:

    https://openjdk.org/jeps/1

A dashboard that lists JEPs with "SE" scope may be found via a link on this
page:

    https://openjdk.org/projects/jdk/25/spec/

Thanks,
Iris