{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"bindings.push((PatBoundCtx::Product,"}]}
                    bindings.push((PatBoundCtx::Product, Default::default()));
                    // Add a new set of bindings to the stack to collect bindings in `subpat`.
                    // Resolving `subpat` adds bindings onto the newly-pushed context. After, the