Will cause a type-checking error too. As this example demonstrates, type checkers can be extremely powerful refactoring tools.

• 根据这个示例演示,类型检查器可以成为功能极强大的重构工具。