<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
Hi,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
This should indeed be exhaustive, AFAIK, and javac from JDK 19 seems to be happy with the code:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
---</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
<span style="font-family:monospace" class="ContentPasted0"><span style="color:#000000;background-color:#ffffff" class="ContentPasted0">$ ./javac --enable-preview -source 19 /tmp/Main.java
</span><br class="ContentPasted0">
</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
<span style="font-family:monospace" class="ContentPasted0 elementToProof">Note: /tmp/Main.java uses preview features of Java SE 19.
<br class="ContentPasted0">
Note: Recompile with -Xlint:preview for details. <br>
</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
---</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
What are the precise steps to reproduce/JDK version?</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
Thanks,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
Jan<br>
</div>
<div id="signature_bookmark"></div>
<div id="appendonsend"></div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)" class="elementToProof">
<br>
</div>
<hr tabindex="-1" style="display:inline-block; width:98%">
<div id="divRplyFwdMsg" dir="ltr"><font style="font-size:11pt" face="Calibri, sans-serif" color="#000000"><b>From:</b> amber-dev <amber-dev-retn@openjdk.org> on behalf of redio.development@gmail.com <redio.development@gmail.com><br>
<b>Sent:</b> Sunday, November 13, 2022 6:48 PM<br>
<b>To:</b> amber-dev@openjdk.org <amber-dev@openjdk.org><br>
<b>Subject:</b> switch exhaustiveness check not working within deconstruction pattern.
</font>
<div> </div>
</div>
<div style="word-wrap:break-word" lang="EN-US">
<div class="x_WordSection1">
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">package</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">dev</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">.</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">redio</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">;</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">import</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">static</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">dev</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">.</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">redio</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">.</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">Main</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">.</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">Activity</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">.*;</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">public</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">class</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">Main</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> {</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span><span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">public</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">static</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">void</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#DCDCAA">main</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">(</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">String</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">[]
</span><span style="font-size:10.5pt; font-family:Consolas; color:#9CDCFE">args</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">) {</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span>
<span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">record</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">Pair</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">(</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">boolean</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#9CDCFE">weekend</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">,
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">Activity</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#9CDCFE">activity</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">) {}</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span>
<span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">var</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#9CDCFE">pair</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> =
</span><span style="font-size:10.5pt; font-family:Consolas; color:#C586C0">new</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#DCDCAA">Pair</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">(</span><span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">true</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">,
</span><span style="font-size:10.5pt; font-family:Consolas; color:#C586C0">new</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#DCDCAA">Sleeping</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">(</span><span style="font-size:10.5pt; font-family:Consolas; color:#B5CEA8">8</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">));</span></p>
<p class="x_MsoNormal elementToProof" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span>
<span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">var</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#9CDCFE">msg</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> =
</span><span style="font-size:10.5pt; font-family:Consolas; color:#C586C0">switch</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> (</span><span style="font-size:10.5pt; font-family:Consolas; color:#9CDCFE">pair</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">)
{ </span><span style="font-size:10.5pt; font-family:Consolas; color:#6A9955">// <- A switch expression should have a default case Java(1073743531)</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"></span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span>
<span style="font-size:10.5pt; font-family:Consolas; color:#C586C0">case</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#DCDCAA">Pair</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">(</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">boolean</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#9CDCFE">b</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">,
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">Sleeping</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#9CDCFE">s</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">)
</span><span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">-></span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#CE9178">"3"</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">;</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span>
<span style="font-size:10.5pt; font-family:Consolas; color:#C586C0">case</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#DCDCAA">Pair</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">(</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">boolean</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#9CDCFE">b</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">,
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">Skiing</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#9CDCFE">s</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">)
</span><span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">-></span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#CE9178">"4"</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">;</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span>
<span style="font-size:10.5pt; font-family:Consolas; color:#C586C0">case</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#DCDCAA">Pair</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">(</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">boolean</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#9CDCFE">b</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">,
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">Coding</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#9CDCFE">c</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">)
</span><span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">-></span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#CE9178">"5"</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">;</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> };</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span>
</p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span>
<span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">System</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">.</span><span style="font-size:10.5pt; font-family:Consolas; color:#4FC1FF">out</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">.</span><span style="font-size:10.5pt; font-family:Consolas; color:#DCDCAA">println</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">(</span><span style="font-size:10.5pt; font-family:Consolas; color:#9CDCFE">msg</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">);</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> }</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span><span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">sealed</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">interface</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">Activity</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> {</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span>
<span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">record</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">Sleeping</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">(</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">int</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#9CDCFE">hours</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">)
</span><span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">implements</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">Activity</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> {}</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span>
<span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">record</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">Skiing</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">(</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">String</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#9CDCFE">resort</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">)
</span><span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">implements</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">Activity</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> {}</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span>
<span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">record</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">Coding</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">()
</span><span style="font-size:10.5pt; font-family:Consolas; color:#569CD6">implements</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">
</span><span style="font-size:10.5pt; font-family:Consolas; color:#4EC9B0">Activity</span><span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> {}</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> }</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4"> </span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;line-height:14.25pt; background:#1E1E1E">
<span style="font-size:10.5pt; font-family:Consolas; color:#D4D4D4">}</span></p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;">
</p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;">
This deconstruction should be exhaustive since Pair is a guaranteed match boolean doesn’t have subclasses and Activity is sealed and fully covered.
</p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;">
Null should throw in this case. A default case would never be reached. </p>
<p class="x_MsoNormal" style="margin: 0cm; font-size: 11pt; font-family: "Calibri", sans-serif;">
(Compiling and running with (dead) default case)</p>
</div>
</div>
</body>
</html>