<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Helvetica Neue", sans-serif; font-size: 11pt; color: rgb(0, 0, 0);" class="elementToProof">
Hey David,</div>
<div style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Helvetica Neue", sans-serif; font-size: 11pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Helvetica Neue", sans-serif; font-size: 11pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
I minimized and filed it here: <a href="https://bugs.openjdk.org/browse/JDK-8312163" id="LPlnk889715">https://bugs.openjdk.org/browse/JDK-8312163</a></div>
<div style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Helvetica Neue", sans-serif; font-size: 11pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
<br>
</div>
<div id="appendonsend"></div>
<div style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Helvetica Neue", sans-serif; font-size: 11pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="font-size:11pt;margin:0px" class="ContentPasted1">Thanks for the analysis, David!</span><br class="ContentPasted1">
</div>
<div style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Helvetica Neue", sans-serif; font-size: 11pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="font-size:11pt;margin:0px"></span><br>
</div>
<div style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Helvetica Neue", sans-serif; font-size: 11pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<hr tabindex="-1" style="display:inline-block; width:98%">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size: 11pt; color: rgb(0, 0, 0);"><b>From:</b> amber-dev <amber-dev-retn@openjdk.org> on behalf of David Alayachew <davidalayachew@gmail.com><br>
<b>Sent:</b> 15 July 2023 05:45<br>
<b>To:</b> amber-dev <amber-dev@openjdk.org><br>
<b>Subject:</b> Re: Found a bug?</font>
<div> </div>
</div>
<div>
<div dir="ltr">
<div class="x_gmail_default" style="font-family:monospace">And if I replace that snippet with this, I get the expected and desirable compiler error "didn't cover all switch cases" (referring to the parent switch where that statement is actually true).</div>
<div class="x_gmail_default" style="font-family:monospace"><br>
</div>
<div class="x_gmail_default" style="font-family:monospace"><br>
public List<Symbol> stateTransitions(final InternalState internalState)<br>
{<br>
<br>
return<br>
switch (this)<br>
{<br>
<br>
case C -> ADD_SYMBOLS.apply(List.of(NUMBER, SUB_STATE_OPERATOR), List.of());<br>
case CE -> ADD_SYMBOLS.apply(List.of(NUMBER, SUB_STATE_OPERATOR), List.of(C));<br>
case BACKSPACE -> switch (internalState)<br>
{<br>
<br>
case InternalState(_, ConsEmpty(), _, _, _, _) -> ADD_SYMBOLS.apply(List.of(NUMBER, SUB_STATE_OPERATOR), List.of(C, CE));<br>
case InternalState is -> ADD_SYMBOLS.apply(List.of(NUMBER, SUB_STATE_OPERATOR, SCREEN_OPERATOR), List.of());<br>
<br>
};<br>
<br>
};<br>
<br>
}<br>
</div>
</div>
</div>
</body>
</html>