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