Composing patterns and guards

[Mateusz Romanowski]

Hi Brian et al.,
Regarding [1], would it not be possible to turn *any* boolean expression
into patterns if any cardinality was accepted for targets and outputs.

As an example, for `line instanceof Line(var point1, var point2) &&
point1.is(point2)` pattern-composable translation would be similar to `line
instanceof Line(var point1, var point2) && (point1, point2) instanceof
GUARD{Point::is}()`.

I apologize if such an idea has already been raised and I missed it.

Thanks,
Mateusz Romanowski


[1]
https://mail.openjdk.java.net/pipermail/amber-spec-experts/2021-January/002747.html