{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"bindings.push((PatBoundCtx::Product,"}]}
                        bindings.push((PatBoundCtx::Product, Default::default()));
                        // For example, `V1(a) | V2(a, a)` and `V1(a, a) | V2(a)` are bad.
                        self.resolve_pattern_inner(p, pat_src, bindings);