在我看来，当你输入newIns[i][j]时，在这一点上理解为RandomType | UnifiedTypes。但是当你在循环中检查newIns[i][j] !== 0时，newIns[i][j]的类型被缩小为UnifiedTypes，即RandomType | 0。但是，当你检查newIns[0][0] !== 0时，newIns[0][0]的类型被缩小为RandomType。所以编译器知道newIns[0][0]有一个属性x。换句话说，见下面的例子。

type Shape = 'circle' | 'square'
type Color = 'red' | 'blue'
type Item = Shape | Color

const items: Item[] = ['circle', 'blue', 'red']

for (let i = 0; i < items.length; i++) {
  if (items[i] !== 'circle') {
    console.log(items[i].length) // Property 'length' does not exist on type 'Item'.
  }
}

如您所知，items引用Item类型，items[i]被推断为Item，即Shape | Color，但是，当您选中items[i] !== 'circle'时，您将items[i]的类型缩小为Color，因为您从联合中排除了它是'circle'的可能性。
你可以像这样解决。
x1米20英寸1x

如果你为newIns[i][j]元素创建一个常量的话，这将是有效的。对她来说，TS将能够正确地处理类型。

type RandomType = {x: number, y: number}
type UnifiedTypes =  RandomType | 0

type ArrayOfTypes = Array<(RandomType | UnifiedTypes)[]>

const newIns: ArrayOfTypes = [[0, {x: 10, y: 201}], [0, {x: 10, y: 201}]]

for(let i=0; i < newIns.length; ++i){
    for(let j=0; j < newIns[i].length; ++j){
      const element = newIns[i][j]
        if(element !== 0){
            element.x = 30
        }
    }
}