<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p><br>
</p>
<div class="moz-cite-prefix">On 23/02/2023 18:46, Brian Goetz wrote:<br>
</div>
<blockquote type="cite" cite="mid:d0202a80-765d-f9f7-3765-190f3d389332@oracle.com"><font size="4"><font face="monospace"> but we really wanted the case
merging.</font></font></blockquote>
<p><font size="4"><font face="monospace">Gotcha.</font></font></p>
<p><font size="4"><font face="monospace">I just wanted to point out
that there are two questions here (one about fall-through and
one about domination), and when reading the emails it was not
obvious to me that a change in how fall-through was defined
was being proposed.</font></font></p>
<p><font size="4"><font face="monospace">If merging unrelated type
tests is a goal, I think there should be an example for it in
the JEP under "Motivation".</font></font></p>
<p><font size="4"><font face="monospace">Maurizio<br>
</font></font></p>
</body>
</html>