<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">

Let me take some of these questions. As mentioned in the question, the latest version of the spec is available at:

<div class=""><br class="">

</div>

<div class=""><a href="http://cr.openjdk.java.net/~gbierman/jep427+405/latest" class="">http://cr.openjdk.java.net/~gbierman/jep427+405/latest</a><br class="">

<div class=""><br class="">

</div>

<div class=""><br class="">

</div>

<div class=""><b class="">1. Grammar uses wrong brackets for guarded patterns. </b></div>

<div class=""><br class="">

</div>

<div class="">Thanks Fixed.</div>

<div class=""><br class="">

</div>

<div class=""><b class="">2. What does “have value true” mean?</b></div>

<div class=""><b class=""><br class="">

</b></div>

<div class="">This is quoted from non-normative text. If you look at the normative text that defines what guarded patterns are:</div>

<div class=""><b class=""><br class="">

</b></div>

<div class=""><span class="Apple-tab-span" style="white-space:pre"></span>A pattern case element is said to be unguarded if either (i) it has no associated when expression, or (ii) it has an associated when expression that is a constant expression (15.29) with

 value true.</div>

<div class=""><b class=""><br class="">

</b></div>

<div class="">I hope that’s clear. The phrase “with value true” is existing JLS-speak for “evaluating a constant expression of type bool and seeing that the answer is true”.</div>

<div class=""><br class="">

</div>

<div class=""><b class="">3. What’s going on with null labels?</b></div>

<div class=""><br class="">

</div>

<div class="">Thanks for these - there are some compiler bugs here, I think still existing from where the when expression spanned the whole switch label rather than the pattern.</div>

<div class=""><br class="">

</div>

<div class="">If you follow the semantics in the spec for a label like:</div>

<div class=""><br class="">

</div>

</div>

<blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class="">

<div class="">

<div class="">case null, String s when b -> </div>

</div>

</blockquote>

<div class="">

<div class=""><br class="">

</div>

<div class="">If the selector expression evaluates to null then this part of the spec comes into play:</div>

<div class=""><br class="">

</div>

</div>

<blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class="">

<div class="">

<div class="">If the value is the null reference, then we determine the first (if any) switch label in the switch block that applies to the value as follows:</div>

</div>

<div class="">

<div class=""><br class="">

</div>

</div>

</blockquote>

<blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class="">

<blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class="">

<div class="">

<div class="">

<div class="">• A switch label that supports a null applies if the value matches every pattern, if any, that the switch label also supports. If pattern matching completes abruptly then determining which switch label applies completes abruptly for the same reason.</div>

</div>

</div>

<div class=""><br class="">

</div>

</blockquote>

</blockquote>

So the null value would match the any pattern (or String? pattern as you wrote), initialising the pattern variable s with null, and then we are done. Note that the rule does not say to check any guard.

<div class=""><br class="">

</div>

<div class="">We’ll get those bugs tidied up.</div>

<div class=""><br class="">

</div>

<div class=""><b class=""><i class="">That said: I think this magic treatment of null labels is probably something we should walk back from. I think we should treat a switch label like `case null, P` as two distinct labels, and if P is a type pattern with a

 pattern variable then it is actually a compile-time error. Treating it like an implicit nullable type pattern is too subtle IMO.</i></b></div>

<div class=""><b class=""><br class="">

</b></div>

<div class=""><b class="">4. Definite Assignment</b></div>

<div class=""><b class=""><br class="">

</b></div>

<div class="">Yes, it looks like there are issues here. Let me take a look at those and report back. </div>

<div class=""><br class="">

</div>

<div class=""><b class="">5. Repeated null labels in distinct switch labels.</b></div>

<div class=""><b class=""><br class="">

</b></div>

<div class="">Rats! Yes, we missed that. It should be an error. Thanks.</div>

<div class=""><br class="">

</div>

<div class=""><b class="">6. Boxing in compilation</b></div>

<div class=""><b class=""><br class="">

</b></div>

<div class="">Thanks we’ll take a look at that.</div>

<div class=""><br class="">

</div>

<div class=""><br class="">

</div>

<div class="">Gavin<br class="">

<div class="">

<div><br class="">

<blockquote type="cite" class="">

<div class="">On 24 Jun 2022, at 20:56, Brian Goetz <<a href="mailto:brian.goetz@oracle.com" class="">brian.goetz@oracle.com</a>> wrote:</div>

<br class="Apple-interchange-newline">

<div class=""><font size="4" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><font face="monospace" class="">Received

 on the -comments list.<br class="">

<br class="">

Summary:<span class="Apple-converted-space"> </span><br class="">

<br class="">

 - Question regarding the asymmetry of true vs false boolean constants.<br class="">

 - Questions regarding matching of nulls in switch (fundamental confusion: whether `case null, String s` is one thing or two)<br class="">

 - DA treatment of assignments inside guards<br class="">

 - questionable boxing in record patterns<br class="">

</font></font><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class=""></span>

<div class="moz-forward-container" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">

<br class="">

<br class="">

-------- Forwarded Message --------

<table class="moz-email-headers-table" cellspacing="0" cellpadding="0" border="0">

<tbody class="">

<tr class="">

<th valign="BASELINE" nowrap="nowrap" align="RIGHT" class="">Subject:</th>

<td class="">Feedback on the current state of switch pattern matching and record patterns</td>

</tr>

<tr class="">

<th valign="BASELINE" nowrap="nowrap" align="RIGHT" class="">Date:<span class="Apple-converted-space"> </span></th>

<td class="">Sun, 19 Jun 2022 03:30:24 +0000</td>

</tr>

<tr class="">

<th valign="BASELINE" nowrap="nowrap" align="RIGHT" class="">From:<span class="Apple-converted-space"> </span></th>

<td class="">Robbe Pincket<span class="Apple-converted-space"> </span><a class="moz-txt-link-rfc2396E" href="mailto:robbepincket@live.be" style="color: rgb(149, 79, 114); text-decoration: underline;"><robbepincket@live.be></a></td>

</tr>

<tr class="">

<th valign="BASELINE" nowrap="nowrap" align="RIGHT" class="">To:<span class="Apple-converted-space"> </span></th>

<td class=""><a class="moz-txt-link-abbreviated" href="mailto:amber-spec-comments@openjdk.org" style="color: rgb(149, 79, 114); text-decoration: underline;">amber-spec-comments@openjdk.org</a><span class="Apple-converted-space"> </span><a class="moz-txt-link-rfc2396E" href="mailto:amber-spec-comments@openjdk.org" style="color: rgb(149, 79, 114); text-decoration: underline;"><amber-spec-comments@openjdk.org></a></td>

</tr>

</tbody>

</table>

<br class="">

<br class="">

<div class="WordSection1" style="page: WordSection1;">

<div class="">

<div class="">

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white;">

<span style="font-size: 12pt;" class="">Hello amber project experts.<o:p class=""></o:p></span></p>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white;">

<span style="font-size: 12pt;" class=""><o:p class=""> </o:p></span></p>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white;">

<span style="font-size: 12pt;" class="">I’ve been quite interested in recent java enhancement projects, and while checking<br class="">

out some of the details of both switch pattern matching and record patterns,<br class="">

I’ve noticed some things I want to address.<o:p class=""></o:p></span></p>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">Looking around, this seemed to be the latest version of the spec, so I’ll be basing<br class="">

my questions off of this:<br class="">

<a href="https://cr.openjdk.java.net/~gbierman/jep427%2b405/jep427%2b405-20220601/specs/patterns-switch-record-patterns-jls.html" target="_blank" moz-do-not-send="true" style="color: rgb(149, 79, 114); text-decoration: underline;" class=""><span style="font-size: 11pt; color: rgb(51, 122, 183);" class="">https://cr.openjdk.java.net/~gbierman/jep427%2B405/jep427%2B405-20220601/specs/patterns-switch-record-patterns-jls.html</span></a><o:p class=""></o:p></span></p>

<div style="border-style: none none solid; border-bottom-width: 1pt; border-bottom-color: rgb(238, 238, 238); padding: 0cm 0cm 4pt; background-color: white;" class="">

<h2 id="Switch-pattern-matching" style="margin: 2pt 0cm 12pt; break-after: avoid; font-size: 13pt; font-family: "Calibri Light", sans-serif; color: rgb(47, 84, 150); font-weight: normal; background-color: white; border: none; padding: 0cm; box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span style="font-size: 16.5pt;" class="">Switch pattern matching<o:p class=""></o:p></span></h2>

</div>

<h3 id="Switch-syntax" style="margin: 2pt 0cm 12pt; break-after: avoid; font-size: 12pt; font-family: "Calibri Light", sans-serif; color: rgb(31, 55, 99); font-weight: normal; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span style="font-size: 14pt;" class="">Switch syntax<o:p class=""></o:p></span></h3>

<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span style="font-size: 12pt;" class="">The syntax section shows that a </span><code style="font-family: "Courier New";" class=""><span style="font-size: 10pt; font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt;" class="">CaseElement</span></code><span style="font-size: 12pt;" class=""> can

 be </span><code style="font-family: "Courier New";" class=""><span style="font-size: 10pt; font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt;" class="">Pattern {Guard}</span></code><span style="font-size: 12pt;" class="">.<br class="">

This would imply that there can be multiple </span><code style="font-family: "Courier New";" class=""><span style="font-size: 10pt; font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt;" class="">when</span></code><span style="font-size: 12pt;" class=""> guards

 on a single pattern<o:p class=""></o:p></span></div>

<h3 id="Constant-boolean-expressions-in-the-guard-expression" style="margin: 2pt 0cm 12pt; break-after: avoid; font-size: 12pt; font-family: "Calibri Light", sans-serif; color: rgb(31, 55, 99); font-weight: normal; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span style="font-size: 14pt;" class="">Constant boolean expressions in the guard expression<o:p class=""></o:p></span></h3>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">The specifications mention that unlike with most guards, if the “expression has<br class="">

the value true”, the dominance checking treats it just as if it were<br class="">

an unguarded pattern case.<o:p class=""></o:p></span></p>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">This raised two concerns:<o:p class=""></o:p></span></p>

<ul type="disc" style="margin-bottom: 0cm;" class="">

<li class="MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(51, 51, 51); background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000;">

<span style="font-size: 12pt;" class="">What does ‘has the value true’ mean? In my eyes, that can mean quite a few things:<o:p class=""></o:p></span></li></ul>

<ul type="disc" style="margin-bottom: 0cm;" class="">

<ul type="circle" style="margin-bottom: 0cm;" class="">

<li class="MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(51, 51, 51); background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000;">

<span style="font-size: 12pt;" class="">The boolean literal ‘true’<o:p class=""></o:p></span></li><li class="MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(51, 51, 51); background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000;">

<span style="font-size: 12pt;" class="">Any constant expression whose value is true<o:p class=""></o:p></span></li><li class="MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(51, 51, 51); background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000;">

<span style="font-size: 12pt;" class="">Any boolean expression that always evaluates to true<o:p class=""></o:p></span></li></ul>

</ul>

<ul type="disc" style="margin-bottom: 0cm;" class="">

<li class="MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(51, 51, 51); background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000;">

<span style="font-size: 12pt;" class="">This treatment has no equivalent with guards that are false. Considering guards that “have the value true” as a branch that is always taken feels akin to how constant expressions are handled in while loops, whilst </span><code style="font-family: "Courier New";" class=""><span style="font-size: 10pt; font-family: Consolas; letter-spacing: 0.25pt;" class="">while

 (false)</span></code><span style="font-size: 12pt;" class=""> always fails to compile as it results in the body to be unreachable. However, when the guard is false, the resultant behavior mirrors a traditional if, where it considers the body to still be reachable,

 even though they can never get executed.<o:p class=""></o:p></span></li></ul>

<h3 id="Null-labels" style="margin: 2pt 0cm 12pt; break-after: avoid; font-size: 12pt; font-family: "Calibri Light", sans-serif; color: rgb(31, 55, 99); font-weight: normal; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span style="font-size: 14pt;" class="">Null labels<o:p class=""></o:p></span></h3>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">I wasn’t sure whether this was an issue at first, but after looking at the spec again and realizing I misinterpreted part of the spec, I’m very unsure about whether the compiler is technically following the spec or not;

 nonetheless, it’s very counterintuitive to me. (This section is a bit more ‘ranty’ than I’d like, but it’s getting late, and I keep discovering new weird unexpected cases while typing)<o:p class=""></o:p></span></p>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">Let’s look at some examples.<o:p class=""></o:p></span></p>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247); box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; overflow-wrap: normal; border-radius: 3px; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; overflow: auto; word-spacing: 0px; border: inherit !important;" class=""><span class="token"><span style="font-family: Consolas; color: slategray; letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">// example 1</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">switch</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">o</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">null</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">,</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">String</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> s when s</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">length</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">()</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">==</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 0, 85); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">0</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">-></span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"o: "</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">+</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> o</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">...</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">I was very surprised when this gave me a npe when getting the length,<br class="">

as I assumed that the guard would only be evaluated when the pattern matched,<br class="">

and didn’t expect the null to fall through to the guard.<o:p class=""></o:p></span></p>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">So I tested the following:<o:p class=""></o:p></span></p>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247); box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; overflow-wrap: normal; border-radius: 3px; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; overflow: auto; word-spacing: 0px; border: inherit !important;" class=""><span class="token"><span style="font-family: Consolas; color: slategray; letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">// example 2</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">switch</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">o</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">String</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> s when s</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">length</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">()</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">==</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 0, 85); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">0</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">,</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">null</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">-></span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"o: "</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">+</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> o</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">...</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">This still throws an npe. This where I decided to check the spec in depth again.<o:p class=""></o:p></span></p>

<blockquote style="border-style: none none none solid; border-left-width: 3pt; border-left-color: rgb(221, 221, 221); padding: 0cm 0cm 0cm 12pt; margin-left: 0cm; margin-right: 0cm; margin-bottom: 12pt; box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<div style="margin: 0cm; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000;" class="">

<span style="font-size: 12pt;" class="">If the resulting transformed case label has both a null case element and a pattern<br class="">

case element p where p is a pattern declaring a pattern variable x of type U,<br class="">

then p is replaced with an any pattern that declares x of type U (14.30.1).<o:p class=""></o:p></span></div>

</blockquote>

<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span style="font-size: 12pt;" class="">This explains the second case, even though the </span><code style="font-family: "Courier New";" class=""><span style="font-size: 10pt; font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt;" class="">null</span></code><span style="font-size: 12pt;" class=""> label

 appears after.<br class="">

Let’s use </span><code style="font-family: "Courier New";" class=""><span style="font-size: 10pt; font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt;" class="">String? s</span></code><span style="font-size: 12pt;" class=""> as a notation

 for an any pattern. The way I see the translation of the second example is like this:<o:p class=""></o:p></span></div>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247); box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; overflow-wrap: normal; border-radius: 3px; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; overflow: auto; word-spacing: 0px; border: inherit !important;" class=""><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">switch</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">o</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">String</span></span><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">?</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> s when s</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">length</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">()</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">==</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 0, 85); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">0</span></span><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">:</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">null</span></span><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">:</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"o: "</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">+</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> o</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">break</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">;</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">...</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span style="font-size: 12pt;" class="">I’m keeping the </span><code style="font-family: "Courier New";" class=""><span style="font-size: 10pt; font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt;" class="">case null</span></code><span style="font-size: 12pt;" class=""> here

 cause the spec doesn’t mention this getting removed, which seems like a mistake to me cause it implies that the first example gets<br class="">

translated as this:<o:p class=""></o:p></span></div>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247); box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; overflow-wrap: normal; border-radius: 3px; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; overflow: auto; word-spacing: 0px; border: inherit !important;" class=""><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">switch</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">o</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">null</span></span><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">:</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> <o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">String</span></span><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">?</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> s when s</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">length</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">()</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">==</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 0, 85); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">0</span></span><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">:</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"o: "</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">+</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> o</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">break</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">;</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">...</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span style="font-size: 12pt;" class="">where </span><code style="font-family: "Courier New";" class=""><span style="font-size: 10pt; font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt;" class="">case null</span></code><span style="font-size: 12pt;" class=""> would

 match null first and therefore </span><code style="font-family: "Courier New";" class=""><span style="font-size: 10pt; font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt;" class="">String? s</span></code><span style="font-size: 12pt;" class=""> wouldn’t

 match the null.<o:p class=""></o:p></span></div>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">These 2 translations bring up the question: what if there are 2 case labels, one of<br class="">

which is null?<o:p class=""></o:p></span></p>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247); box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; overflow-wrap: normal; border-radius: 3px; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; overflow: auto; word-spacing: 0px; border: inherit !important;" class=""><span class="token"><span style="font-family: Consolas; color: slategray; letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">// Example 3</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">switch</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">o</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">String</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> s when s</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">length</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">()</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">==</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 0, 85); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">0</span></span><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">:</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">null</span></span><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">:</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"o: "</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">+</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> o</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">break</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">;</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">...</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span style="font-size: 12pt;" class="">Example 3 still throws an NPE when given null. This, just blew my mind, and I think this behavior is even wrong according to the spec. The spec mentions that if a <strong class=""><span style="font-family: "Segoe UI", sans-serif;" class="">case

 label</span></strong> contains both a null case label element and a pattern case element, the pattern<br class="">

gets converted to a any pattern. However in this example there are 2 separate <strong class=""><span style="font-family: "Segoe UI", sans-serif;" class="">case labels</span></strong> (but only one switch label). Note that adding a single </span><code style="font-family: "Courier New";" class=""><span style="font-size: 10pt; font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt;" class="">;</span></code><span style="font-size: 12pt;" class=""><br class="">

after the first </span><code style="font-family: "Courier New";" class=""><span style="font-size: 10pt; font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt;" class="">:</span></code><span style="font-size: 12pt;" class=""> results in a variant

 that does work as expected, most likely<br class="">

cause they are now 2 separate <strong class=""><span style="font-family: "Segoe UI", sans-serif;" class="">switch labels</span></strong>.<o:p class=""></o:p></span></div>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">One last example:<o:p class=""></o:p></span></p>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247); box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; overflow-wrap: normal; border-radius: 3px; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; overflow: auto; word-spacing: 0px; border: inherit !important;" class=""><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">static</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">void</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">example4</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">Object</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> a</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">,</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">Object</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> b</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">switch</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">a</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">null</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">,</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">String</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> s when </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">Objects</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">equal</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">s</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">,</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> b</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">-></span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">            </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"a & b: "</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">+</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> s</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">null</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">-></span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">            </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"a is NULL, but b isn't"</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">default</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">-></span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">            </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"Objects: "</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">+</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> a </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">+</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">", "</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">+</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> b</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">This fails to compile, citing a “duplicate case label”, however I can’t find anything in the spec that disallows 2 null cases in the same switch, even without the guard. The closest thing I see is:<o:p class=""></o:p></span></p>

<blockquote style="border-style: none none none solid; border-left-width: 3pt; border-left-color: rgb(221, 221, 221); padding: 0cm 0cm 0cm 12pt; margin-left: 0cm; margin-right: 0cm; margin-bottom: 12pt; box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<div style="margin: 0cm; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000;" class="">

<span style="font-size: 12pt;" class="">A switch label that supports a case constant dominates another<br class="">

switch label supporting the same case constant.<o:p class=""></o:p></span></div>

</blockquote>

<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<code style="font-family: "Courier New";" class=""><span style="font-size: 10pt; font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt;" class="">null</span></code><span style="font-size: 12pt;" class="">, however, is not considered a case constant

 - as the guard is acting on the null case, it means the second null case shouldn’t be dominated by the first one. Perhpas should be a rule that doesn’t allow this, but nothing in the current spec should disallow this, even though javac does, in fact, disallow

 it.<o:p class=""></o:p></span></div>

<h3 id="Definite-assignment" style="margin: 2pt 0cm 12pt; break-after: avoid; font-size: 12pt; font-family: "Calibri Light", sans-serif; color: rgb(31, 55, 99); font-weight: normal; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span style="font-size: 14pt;" class="">Definite assignment<o:p class=""></o:p></span></h3>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">It seems the part on definite assignment doesn’t take into account the possible assignments in the guard of switch cases.<o:p class=""></o:p></span></p>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">I thought this was gonna be a small thing to fix as javac seemed to behave as expected despite the specification, but then I noticed something else and ended up writing a some code where I was able to reassign a final

 var.<o:p class=""></o:p></span></p>

<h4 id="Issue-1" style="margin: 2pt 0cm 12pt; break-after: avoid; font-size: 11pt; font-family: "Calibri Light", sans-serif; color: rgb(47, 84, 150); font-weight: normal; font-style: italic; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span class="">Issue 1:</span><span style="font-size: 12pt;" class=""><o:p class=""></o:p></span></h4>

<blockquote style="border-style: none none none solid; border-left-width: 3pt; border-left-color: rgb(221, 221, 221); padding: 0cm 0cm 0cm 12pt; margin-left: 0cm; margin-right: 0cm; margin-bottom: 12pt; box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<ul type="disc" style="margin-bottom: 0cm;" class="">

<li class="MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(119, 119, 119); background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000;">

<span style="font-size: 12pt;" class="">V is [un]assigned before the switch rule expression, switch rule block, or switch rule throw statement introduced by a switch rule in the switch block iff V is [un]assigned after the selector expression of the switch

 statement.<o:p class=""></o:p></span></li><li class="MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(119, 119, 119); background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000;">

<span style="font-size: 12pt;" class="">V is [un]assigned before the first block statement of a switch labeled statement group in the switch block iff both of the following are true:<o:p class=""></o:p></span></li></ul>

<ul type="disc" style="margin-bottom: 0cm;" class="">

<ul type="circle" style="margin-bottom: 0cm;" class="">

<li class="MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(119, 119, 119); background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000;">

<span style="font-size: 12pt;" class="">V is [un]assigned after the selector expression of the switch statement.<o:p class=""></o:p></span></li><li class="MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(119, 119, 119); background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000;">

<span style="font-size: 12pt;" class="">…<o:p class=""></o:p></span></li></ul>

</ul>

</blockquote>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">If the case is guarded, this shouldn’t be checking the assignment status after the selector expression, but after the guard expression when true.<o:p class=""></o:p></span></p>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">It seems javac already does this.<o:p class=""></o:p></span></p>

<h4 id="Issue-2" style="margin: 2pt 0cm 12pt; break-after: avoid; font-size: 11pt; font-family: "Calibri Light", sans-serif; color: rgb(47, 84, 150); font-weight: normal; font-style: italic; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span class="">Issue 2:</span><span style="font-size: 12pt;" class=""><o:p class=""></o:p></span></h4>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">The naive assumption, which javac seems to be using, is that a variable V is [un]assigned before a guard expression iff it is [un]assigned after the selector expression. This however is not correct. See the following

 snippet:<o:p class=""></o:p></span></p>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247); box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; overflow-wrap: normal; border-radius: 3px; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; overflow: auto; word-spacing: 0px; border: inherit !important;" class=""><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">public</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">class</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> test </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">static</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">void</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">test</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">Object</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> o</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">final</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">String</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> res</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">;</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">switch</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">o</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">            </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">String</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> s when </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">res </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">=</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> s</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">!=</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">null</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">&&</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">log</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">res</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">&&</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> s</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">length</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">()</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">></span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 0, 85); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">3</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">-></span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">                </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"res: "</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">+</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> res</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">            </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">            </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">String</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> i when </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">res </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">=</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"???"</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">!=</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">null</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">&&</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">log</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">res</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">-></span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">                </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"res: "</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">+</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> res</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">            </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">            </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">default</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">-></span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">                </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"Object: "</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">+</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> o</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">            </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""> </o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">static</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">boolean</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">log</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">String</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> res</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"res: "</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">+</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> res</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">return</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 0, 85); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">true</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">;</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""> </o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">public</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">static</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">void</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">main</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">String</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">[]</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> args</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">){</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"Trial 1: "</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">test</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"Hello"</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"Trial 2: "</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">test</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"Huh"</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">Which outputs:<o:p class=""></o:p></span></p>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247); box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; overflow-wrap: normal; border-radius: 3px; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; overflow: auto; word-spacing: 0px; border: inherit !important;" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">Trial 1:<o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">res: Hello<o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">res: Hello<o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">Trial 2:<o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">res: Huh<o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">res: ???<o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">res: ???<o:p class=""></o:p></span></code></pre>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">This code compiles, even though it is reassigning a final var.<o:p class=""></o:p></span></p>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">A correct definition for definite (un)assignment in this case would have to take all the pattern cases that could have matched before it into account, and the maybe also the fact that (some of) those cases could cover

 all possible pathways to this label, like:<o:p class=""></o:p></span></p>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247); box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; overflow-wrap: normal; border-radius: 3px; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; overflow: auto; word-spacing: 0px; border: inherit !important;" class=""><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">A</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> a when </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">res </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">=</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"Hi"</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">==</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">null</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">-></span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">B</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> b when </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">res </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">=</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(102, 153, 0); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">"Hello"</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">==</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">null</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">-></span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">SealedAOrB</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">-></span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: slategray; letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">// res is now definitely assigned?</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<div style="border-style: none none solid; border-bottom-width: 1pt; border-bottom-color: rgb(238, 238, 238); padding: 0cm 0cm 4pt; background-color: white;" class="">

<h2 id="Record-Patterns" style="margin: 2pt 0cm 12pt; break-after: avoid; font-size: 13pt; font-family: "Calibri Light", sans-serif; color: rgb(47, 84, 150); font-weight: normal; background-color: white; border: none; padding: 0cm; box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span style="font-size: 16.5pt;" class="">Record Patterns<o:p class=""></o:p></span></h2>

</div>

<h3 id="Integer-components" style="margin: 2pt 0cm 12pt; break-after: avoid; font-size: 12pt; font-family: "Calibri Light", sans-serif; color: rgb(31, 55, 99); font-weight: normal; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span style="font-size: 14pt;" class="">Integer components.<o:p class=""></o:p></span></h3>

<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span style="font-size: 12pt;" class="">It seems that when accessing </span><code style="font-family: "Courier New";" class=""><span style="font-size: 10pt; font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt;" class="">int</span></code><span style="font-size: 12pt;" class=""> fields,

 it boxes them, to then immediately unbox them again.<o:p class=""></o:p></span></div>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">Example<o:p class=""></o:p></span></p>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247); box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; overflow-wrap: normal; border-radius: 3px; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; overflow: auto; word-spacing: 0px; border: inherit !important;" class=""><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">switch</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">o</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">Point</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">var</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> x</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">,</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">var</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> y</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">-></span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">x </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">+</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> y</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">...</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">compiles into something like:<o:p class=""></o:p></span></p>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247); box-sizing: border-box; --tw-border-opacity: 1; --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; overflow-wrap: normal; border-radius: 3px; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; overflow: auto; word-spacing: 0px; border: inherit !important;" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">var1 </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">=</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> o<o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">switch</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">indy typeswitch</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">case</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 0, 85); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">0</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">-></span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">{</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">int</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> var5 </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">=</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> $proxy$</span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">x</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">((</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">Point</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> var1</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">int</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> var3 </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">=</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">Integer</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">valueOf</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">var5</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">).</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">intValue</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">();</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        var5 </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">=</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> $proxy$</span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">y</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">((</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">Point</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> var1</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">);</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(0, 119, 170); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">int</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> var4 </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">=</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">Integer</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">valueOf</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">var5</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">).</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">intValue</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">();</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        <o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">        </span></code><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">System</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">out</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">.</span></span><span class="token"><span style="font-family: Consolas; color: rgb(221, 74, 104); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">println</span></span><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">(</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">var3 </span></code><span class="token"><span style="font-family: Consolas; color: rgb(154, 110, 58); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">+</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""> var4</span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">)</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<pre style="margin: 0cm; font-size: 10pt; font-family: "Courier New"; background-color: rgb(247, 247, 247);" class=""><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">    </span></code><span class="token"><span style="font-family: Consolas; color: rgb(153, 153, 153); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class="">}</span></span><code style="font-family: "Courier New";" class=""><span style="font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt; border: 1pt none windowtext; padding: 0cm;" class=""><o:p class=""></o:p></span></code></pre>

<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;" class="">

<span style="font-size: 12pt;" class="">I gave a quick look to the code in </span><code style="font-family: "Courier New";" class=""><span style="font-size: 10pt; font-family: Consolas; color: rgb(51, 51, 51); letter-spacing: 0.25pt;" class="">TransPattern</span></code><span style="font-size: 12pt;" class="">,

 but couldn’t actually find anything about it. Seems like something that gets triggered by accident?<o:p class=""></o:p></span></div>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-bottom: 12pt; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">Hope all of this helps with improving the language!<o:p class=""></o:p></span></p>

<p class="part" style="margin-right: 0cm; margin-left: 0cm; font-size: 11pt; font-family: Calibri, sans-serif; margin-top: 0cm; background-color: white; box-sizing: border-box; --tw-border-opacity: 1; border-color: rgba(231, 231, 231, var(--tw-border-opacity)); --tw-shadow: 0 0 #0000; --tw-ring-inset: var(--tw-empty, ); --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgba(59, 130, 246, 0.5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; word-spacing: 0px;">

<span style="font-size: 12pt;" class="">Greetings<br class="">

Robbe Pincket</span></p>

</div>

</div>

</div>

</div>

</div>

</blockquote>

</div>

<br class="">

</div>

</div>

</body>

</html>