{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"self.enter_forall(kind,"}]}
            self.enter_forall(kind, |ecx, kind| {
        } else {
                let goal = goal.with(ecx.cx(), ty::Binder::dummy(kind));