{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"self.fulfillment_cx.borrow_mut().pending_obligations().iter().map(|o|"}]}
            self.fulfillment_cx.borrow_mut().pending_obligations().iter().map(|o| o.predicate),
            self,
        );