{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"//"}]}
                    // Both cases bind `a` again in a product pattern and must be rejected.
                    // e.g. `(V1(a) | V2(a), a)` or `(a, V1(a) | V2(a))`.
                    let collected = bindings.pop().unwrap().1;