{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
                    // Resolving `subpat` adds bindings onto the newly-pushed context. After, the
                    bindings.push((PatBoundCtx::Product, Default::default()));
                    // total number of contexts on the stack should be the same as before.