4.5.3-1.5 总结

至此，整个类型检查的核心流程就梳理完毕了，类型检查器也已经将检查结果全部写到了 info 中。我们在这里只是尝试着搭起整个流程的骨架，各个步骤处理的细节无法一一涵盖，但只要把握了总体思路与代码框架，相信任何细节都可以顺藤摸瓜得找到了。