{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"diag_ctxt"}]}
            diag_ctxt
        if self.is_enabled() && self.opened_sections.borrow().contains(&section) {
                .bug(format!("Section `{section:?}` was started again before it was finished"));