<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="">
The draft spec has been updated with type inference for record patterns.
<div class=""><br class="">
</div>
<div class="">For now - following some feedback - we’re pausing the thought of adding type inference for type patterns using a diamond form. [I’ll post separately about this shortly - we should discuss this possibility further.]</div>
<div class=""><br class="">
</div>
<div class=""><a href="https://cr.openjdk.java.net/~gbierman/jep432+433/latest" class="">https://cr.openjdk.java.net/~gbierman/jep432+433/latest</a></div>
<div class=""><br class="">
</div>
<div class="">Comments on this draft are welcome. I have some other edits queued up; I’ll email the list when they have been applied. (The URL above will always point to the most recent build.)</div>
<div class=""><br class="">
</div>
<div class="">Thanks,</div>
<div class="">Gavin</div>
<div class="">
<div><br class="">
<blockquote type="cite" class="">
<div class="">On 18 Oct 2022, at 23:22, Gavin Bierman <<a href="mailto:gavin.bierman@oracle.com" class="">gavin.bierman@oracle.com</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class="">Dear experts:</div>
<div class=""><br class="">
</div>
<div class="">The first draft of a joint spec covering JEP 433 (Fourth Preview of Pattern Matching for switch) and JEP 432 (Record Patterns) is available at:</div>
<div class=""><br class="">
</div>
<a href="https://cr.openjdk.java.net/~gbierman/jep432+433/latest" class="">https://cr.openjdk.java.net/~gbierman/jep432+433/latest</a>
<div class=""><br class="">
</div>
<div class="">This covers all the changes for these JEPs *apart* from the proposal to infer type arguments in patterns. This will be added and announced shortly.</div>
<div class=""><br class="">
</div>
<div class="">Comments welcomed!</div>
<div class="">Gavin</div>
</div>
</div>
</blockquote>
</div>
<br class="">
</div>
</body>
</html>