类型推测的bug