{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"Entry::Vacant(v)"}]}
            Entry::Vacant(v) => {
            }
                let obligation_tree_id = match parent {