<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<font size="4" face="monospace">I'm going to pend this thread until
the other thread is resolved; I think whatever issue is
confounding the other is likely to confuse this one as well.<br>
<br>
</font><br>
<div class="moz-cite-prefix">On 9/11/2025 10:52 AM, Remi Forax
wrote:<br>
</div>
<blockquote type="cite" cite="mid:313090675.27148650.1757602357189.JavaMail.zimbra@univ-eiffel.fr">
<pre wrap="" class="moz-quote-pre">Following Brian and Dan comments, I restart several different threads.
The way JEP 507 semantics is defined does not work well with the idea that int can be seen as a subtype of Integer, or at least seen int and Integer! as interoperable.
For example, this code compile
int v = ...
switch(v) {
case byte b -> ...
case int i -> ...
}
But this code does not compile
Integer v = ...
switch(v) {
case byte b -> ...
case int i -> ...
}
so at best there is a risk of making our lives (the Valhalla EG) miserable in the future because of the semantics of this JEP, at worst, in the future, people will declare the component of their records either as an Integer! or as an int to get the flavor of pattern matching they want.
regards,
Rémi
</pre>
</blockquote>
<br>
</body>
</html>