{"ast_node_type":"variable","tokens":[{"end":46,"kind":"keyword","start":0,"text":"let"}]}
        let sp_brace = sm.end_point(pat.span);
        let sm = sess.source_map();
        let sp_comma = sm.end_point(pat.span.with_hi(sp_brace.hi()));