<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
FYI I have uploaded a new draft of the joint spec change document. Two main changes:
<div><br>
</div>
<div>1. I have updated the specification of type inference for record patterns per Dan’s email [*]</div>
<div>2. I have removed the non-denotable “any” patterns and the process of resolving patterns in favour of a compile-time notion of a type pattern being “null-matching” or not. (This is purely a specification improvement and has no semantic content.)</div>
<div><br>
</div>
<div><a href="https://cr.openjdk.org/~gbierman/jep440+441/latest/">https://cr.openjdk.org/~gbierman/jep440+441/latest/</a><br>
</div>
<div><br>
</div>
<div>Thanks,</div>
<div>Gavin</div>
<div><br>
</div>
<div>[*] <a href="https://mail.openjdk.org/pipermail/amber-spec-experts/2023-March/003808.html">https://mail.openjdk.org/pipermail/amber-spec-experts/2023-March/003808.html</a><br>
<div><br>
<blockquote type="cite">
<div>On 7 Apr 2023, at 22:28, Gavin Bierman <gavin.bierman@oracle.com> wrote:</div>
<br class="Apple-interchange-newline">
<div>
<div>Dear experts:<br>
<br>
The first draft of the joint spec change document for the features Pattern Matching for switch [1] and Record Patterns [2] is now available at:<br>
<br>
https://cr.openjdk.org/~gbierman/jep440+441/latest/<br>
<br>
Please give us your feedback (either on this list or directly to me).<br>
<br>
Thanks,<br>
Gavin<br>
<br>
[1] Pattern matching for switch: https://openjdk.org/jeps/441<br>
[2] Record patterns: https://openjdk.org/jeps/440<br>
<br>
<br>
</div>
</div>
</blockquote>
</div>
<br>
</div>
</body>
</html>