{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"resolve_obligations_buffer:"}]}
            resolve_obligations_buffer: Vec::new(),
            pending_obligations: Vec::new(),
        }