<div dir="ltr"><div style="font-family:monospace" class="gmail_default"><br>Hello Merlin,<br><br>> I can confirm this for Eclipse Adoptium <br>> 19.0.1+10 and Eclipse Adoptium 17.0.5+8 <br>> on MacOS with your code.<br><br>Thank you for the confirmation. I have been running into configuration errors all day, so I am glad this isn't some mistake on my part.<br><br>> Nerveless your last Question regarding <br>> why input instanceof Triple t raises an <br>> error but input instanceof Triple is <br>> simpler. The latter is not a Pattern, <br>> it’s a Boolean expression and is a <br>> permanent feature since the <br>> introduction of instance of.<br><br>Thank you for clarifying. Ok, that is good to know. So, in short, the reason why this distinction exists between instanceof the original and instanceof pattern match is because the old functionality has not changed at all. Which does lead into the next question nicely.<br><br>> Is it possible that the Compiler <br>> interprets instance of Patterns with <br>> Record Classes as Record Patterns?<br><br>This was my first instinct as well, but since this error message is so directed with a very specific, new piece of vocabulary, it sounds unlikely. Plus, the blog I linked written by Nicolai Parlog used an example involving String and Object, neither of which is a record.<br><br>Still, this did clarify a lot for me and helped me understand things better.<br><br>Thank you for your help and insight!<br>David Alayachew<br></div><br></div>