4.5.3-2 特定问题分析

在完成了类型检查的流程分析之后，本节我们将针对性地对一些问题进行分析，其中包括：

1. 对象循环依赖检查

2. 方法与属性的查找逻辑

3. Underlying Type

通过将这些问题与之前的主体逻辑相关联，能够让我们对整个类型检查的理解更加立体。