Draft JEP: Primitive Types in Patterns, instanceof, and switch (Second Preview)

Stephan Herrmann stephan.herrmann at berlin.de
Fri Aug 30 19:44:13 UTC 2024


The other day I stumbled upon this in the JLS changes for the first preview (JEP 
455):

* a widening reference conversion followed by an unboxing conversion
* a widening reference conversion followed by an unboxing conversion, then 
followed by a widening primitive conversion

I fail to imagine any type that can be widened to a boxing type. What's going on 
here?

best,
Stephan


Am 30.08.24 um 15:55 schrieb Angelos Bimpoudis:
> Dear experts,
> 
> A draft JEP for the second preview of primitive types in patterns, instanceof, 
> and switch is now available. We propose to preview it for a second time with no 
> changes relative to JDK 23. This feature aligns what instanceof and pattern 
> matching mean across all types. This second preview, unchanged, gives ample time 
> to amber experts to express their feedback.
> 
> https://bugs.openjdk.org/browse/JDK-8335876
> 
> Let us know of your feedback.
> 
> Thank you,
> Angelos



More information about the amber-spec-experts mailing list