<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<font size="4" face="monospace">I had exactly the same confusion
when I read those words. Alex set me straight.<br>
<br>
<T extends Integer> int asInt(T t) { return t; }<br>
<br>
Here, we go from T to Integer (a widening reference conversion),
then to int (an unboxing conversion). <br>
</font><br>
<div class="moz-cite-prefix">On 8/30/2024 3:44 PM, Stephan Herrmann
wrote:<br>
</div>
<blockquote type="cite" cite="mid:562c5120-304b-4d44-b07a-8940224e3be6@berlin.de">The
other day I stumbled upon this in the JLS changes for the first
preview (JEP 455):
<br>
<br>
* a widening reference conversion followed by an unboxing
conversion
<br>
* a widening reference conversion followed by an unboxing
conversion, then followed by a widening primitive conversion
<br>
<br>
I fail to imagine any type that can be widened to a boxing type.
What's going on here?
<br>
<br>
best,
<br>
Stephan
<br>
<br>
<br>
Am 30.08.24 um 15:55 schrieb Angelos Bimpoudis:
<br>
<blockquote type="cite">Dear experts,
<br>
<br>
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.
<br>
<br>
<a class="moz-txt-link-freetext" href="https://bugs.openjdk.org/browse/JDK-8335876">https://bugs.openjdk.org/browse/JDK-8335876</a>
<br>
<br>
Let us know of your feedback.
<br>
<br>
Thank you,
<br>
Angelos
<br>
</blockquote>
<br>
</blockquote>
<br>
</body>
</html>