{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"diag_ctxt.emit_timing_section_end(TimingRecord::from_origin(origin,"}]}
            diag_ctxt.emit_timing_section_end(TimingRecord::from_origin(origin, section));
        }