{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"diag_ctxt"}]}
                diag_ctxt
            if !opened.insert(section) {
                    .bug(format!("Section `{section:?}` was started again before it was finished"));