case Point(var x, var y) when p.isVisible() -> Of course I meant: case Point(var x, var y) p when p.isVisible() -> Gavin -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.openjdk.org/pipermail/amber-spec-observers/attachments/20221003/9325c9e5/attachment-0001.htm>