{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"}"}]}
                }
                    interpret::specialized_encode_alloc_id(self, tcx, id);
                n = new_n;