(Page only for my info if I forgot again what the “intersectionPattern” is in the parser)

Type and pattern intersection are described in Ole manuscript and in the specification v1.0 but not implemented.

The intersection pattern rule is producing an AST that the compiler cannot read. e.g.

void r()
[ x:F & (x.diameter > 0.01) ::> println(x); ]

This example is properly parsed but not compiled :O