<div dir="ltr"><div style="font-family:monospace" class="gmail_default"><br>Hello Gavin,<br><br>> Sorry for my slow reply.<br><br>Thank you for the response!<br><br>> There are other expressions that can introduce a pattern<br>> variable, although one could argue whether they would<br>> occur naturally, for example, B && (n instanceof Integer<br>> i), where B is some other boolean expression (and other<br>> variations with nested &&). It’s always a balance trying<br>> to keep things general, or lock them down. In this case,<br>> I’ve erred on the general side of the fence.<br><br>Makes a lot of sense. I was mildly familiar with the ways that variables can be introduced in boolean expressions, so I see now how the number of places where that can occur is way more than I thought. Thank you for the clarification.<br><br>> One other reason for this is that we may in the future<br>> add some other expression forms that introduce pattern<br>> variables, and our future selves will be grateful for<br>> fewer things in the spec to change.<br><br>Also makes sense. While it did make things harder to parse, I at least see the purpose for it now. Plus, this isn't exactly the documentation where every developer reads it often and is expected to be familiar with it.<br><br>> I’m grateful for the attention to detail though - thanks<br>> for asking!<br><br>Anytime.<br><br>Thank you for your help!<br>David Alayachew<br></div><br></div>