Variables in OR-pattern ?

[guicho271828]

The documentation says

There is a restriction that every pattern of sub-PATTERNs must have
same set of variables.

but the code below runs with no errors... though it doesn't follow the rule.
Is it a desired behavior?

(match (vector 0 1)
       ((or (list _ x) (vector y _))
        y))
;--> 0

[m2ym]

The spec was changed. Need to update the documentation.

[guicho271828]

ok, thanks.