Open michaelhkay opened 2 weeks ago
Adds rules for the default priority of new match pattern options such as element(p:*) and element(p|q).
element(p:*)
element(p|q)
Fix #1394
Fix issue #1392.
I've extended the scope of this PR so it extends the subtyping rules for element(a|b).
element(a|b)
Adds rules for the default priority of new match pattern options such as
element(p:*)
andelement(p|q)
.Fix #1394