根据Java语言规范，交集类型的类型是什么？

Question

在我的问题中，我参考了第三版中的Java语言规范。根据交集类型的规范（第4.9节），交集类型int[]（或int[] & int[]）将具有与具有空体和直接超类int[]的类类型相同的成员。但是我理解规范的方式，类类型可能没有数组类型作为超类型，因为§8告诉：

  

除Object之外的每个类都是单个现有类（第8.1.4节）的扩展（即，它的子类），并且可以实现接口（第8.1.5节）。

我是否理解错误或是规范中的不一致？