{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"(self.process_obligation)(obligation)"}]}
        (self.process_obligation)(obligation)
    ) -> ProcessResult<Self::Obligation, Self::Error> {
    }