ipairs confuse type infer

[sumneko]

file1:

---@type string[]
local ss

for _, s in ipairs(ss) do
    print(s.find)
end

file2:

--
--
--
for _, x in ipairs({} and {}) do
    print(x.xxx) -- `x` is infered as `string`
end

The ipairs must at same line num
Param 1 of ipairs in file2 must be binary or unary