{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"get_future_output(obligation.predicate,"}]}
                    get_future_output(obligation.predicate, obligation.cause.span)
                self.obligations_for_self_ty(ret_vid).into_iter().find_map(|obligation| {
                })?