{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"scopes.add_pat_bindings(store,"}]}
                scopes.add_pat_bindings(store, *scope, *pat);
                *scope = scopes.new_scope(*scope);
            }