As a consequence type checking becomes undecidable.

• 作为结论类型检查成为不可判定性的。