这只是递归类型错误的一种情况，通过依赖于递归类型的某个方面大小的数组类型来引用自身。
一种可能的通用解决方案可能是将所有数组大小计算推迟到类型检查结束，类似于我们将Map键类型检查推迟到结束的方式。