
<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 class="elementToProof ContentPasted0" style="font-family:"Segoe UI","Segoe UI Web (West European)","Helvetica Neue",sans-serif; font-size:11pt; color:rgb(0,0,0); background-color:rgb(255,255,255)">

Dear experts,</div>

<div class="elementToProof ContentPasted0" style="font-family:"Segoe UI","Segoe UI Web (West European)","Helvetica Neue",sans-serif; font-size:11pt; color:rgb(0,0,0); background-color:rgb(255,255,255)">

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0 ContentPasted1">The first draft of the JLS spec about primitive types in patterns, instanceof, and switch (draft JEP at https://openjdk.org/jeps/8288476) is available at:</div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0 ContentPasted2"></div>

https://cr.openjdk.org/~abimpoudis/instanceof/latest/

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">Comments very much welcomed!</div>

Angelos<br>

</div>

</body>

</html>