{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"if"}]}
            if !opened.insert(section) {
            let mut opened = self.opened_sections.borrow_mut();
                diag_ctxt