赛普拉斯在玩笑断言中导致类型错误

赛普拉斯在玩笑断言中导致类型错误