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