{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"diag_ctxt.bug(format!(\"Section"}]}
                diag_ctxt.bug(format!("Section `{section:?}` was ended before being started"));
            if !opened.remove(&section) {
            }