{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"[self_ty,"}]}
                    [self_ty, coroutine.resume_ty()],
                    goal.predicate.def_id(),
                ),