{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"//"}]}
                        // For example, `V1(a) | V2(a, a)` and `V1(a, a) | V2(a)` are bad.
                        // part of the or-pattern internally rejects already bound names.
                        bindings.push((PatBoundCtx::Product, Default::default()));