<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="NL-BE" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">Hi all</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">It seems that the following code still compiles in Java 20.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">```java</p>
<p class="MsoNormal">class Test {</p>
<p class="MsoNormal"> public static void main(String[] args) {</p>
<p class="MsoNormal"> System.out.println("Got: " + Test(17));</p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> static boolean log(Object o) {</p>
<p class="MsoNormal"> System.out.println("Log:" + o);</p>
<p class="MsoNormal"> return false;</p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> static String test(Object o) {</p>
<p class="MsoNormal"> final String s;</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> switch (o) {</p>
<p class="MsoNormal"> case Integer i when (s = "a") != null && log(s) -> {</p>
<p class="MsoNormal"> return s;</p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"> case Integer i when (s = "b") != null && log(s) -> {</p>
<p class="MsoNormal"> return s;</p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"> case Integer i when (s = "c") != null && log(s) -> {</p>
<p class="MsoNormal"> return s;</p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"> case Object o1 when (s = "d") != null && log(s) || true -> {</p>
<p class="MsoNormal"> return s;</p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"> default -> {</p>
<p class="MsoNormal"> throw new IllegalStateException("Unreachable");</p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal">}</p>
<p class="MsoNormal">```</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The code above reassigns the final variable `s` multiple times and prints:</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">```</p>
<p class="MsoNormal">Log: a</p>
<p class="MsoNormal">Log: b</p>
<p class="MsoNormal">Log: c</p>
<p class="MsoNormal">Log: d</p>
<p class="MsoNormal">Got: d</p>
<p class="MsoNormal">```</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Similarly the following code:</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">```java</p>
<p class="MsoNormal">class Test {</p>
<p class="MsoNormal"> public static void main(String[] args) {</p>
<p class="MsoNormal"> System.out.println("Got: " + new Test(17).s);</p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> boolean log(Object o) {</p>
<p class="MsoNormal"> System.out.println("Log: " + o + ", " + this.s);</p>
<p class="MsoNormal"> return false;</p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> final String s;</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> Test(Object o) {</p>
<p class="MsoNormal"> switch (o) {</p>
<p class="MsoNormal"> case Integer i when(s = "a") != null && log(s) -> {</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"> case Integer i when(s = "b") != null && log(s) -> {</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"> case Integer i when(s = "c") != null && log(s) -> {</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"> case Object o1 when(s = "d") != null && log(s) || true -> {</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"> default -> {</p>
<p class="MsoNormal"> throw new IllegalStateException("Unreachable");</p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal"> }</p>
<p class="MsoNormal">}</p>
<p class="MsoNormal">```</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Also compiles and produces the following</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">```</p>
<p class="MsoNormal">Log: a, a</p>
<p class="MsoNormal">Log: b, b</p>
<p class="MsoNormal">Log: c, c</p>
<p class="MsoNormal">Log: d, d</p>
<p class="MsoNormal">Got: d</p>
<p class="MsoNormal">```</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Showing the final field being reassigned multiple times.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Right before sending this email, I just remembered that</p>
<p class="MsoNormal">the first example shouldn't compile, as in each `return s;`</p>
<p class="MsoNormal">the `s` variable shouldn't be considered to be </p>
<p class="MsoNormal">definite assigned.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Kind regards</p>
<p class="MsoNormal">Robbe Pincket<o:p></o:p></p>
</div>
</body>
</html>