The leading separator is only permitted at the top level (i.e. no `Some( | p | q)`) and is easily dealt with at the top level in the same manner as done in `fn parse_pats` before entering the regular pattern grammar.