Of course, unlike type declarations, a finite set of tests cannot check an implementation over all possible inputs.

• 当然,与类型声明不同,有限的几套测试在检查实现时无法遍及所有可能的输入。