upgrade from 3.6.3 to 3.6.4 broke the type detection of nested objects when @cast is used

[muppet9010]

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Annotations, Type Checking

Expected Behaviour

In 3.6.3 the code in Reproduction Steps has the value of x resolving to the correct type.

Actual Behaviour

In 3.6.4 this is no longer the case and gives the error:

"code": "no-unknown",
"severity": 4,
"message": "Can not infer type.",
"source": "Lua Diagnostics.",

Reproduction steps

---@class Container
---@field object Object

---@class Object
---@field speed number?

local object, x
local things ---@type Container[]

for _, thing in pairs(things) do
    object = thing.object
    x = object.speed ---@cast x - nil
end

Additional Notes

No response

Log File

No response

[muppet9010]

So it appears this isn't related to the @cast. As the issue occurs without it, it can just take an extra save of the file for the plugin to realise it's unhappy and raise the warning.

---@class Container
---@field object Object

---@class Object
---@field speed number?

local object, x
local things ---@type Container[]

for _, thing in pairs(things) do
    object = thing.object
    x = object.speed
end

This also shows the issue, but it can take the plugin a bit to flag that x is unknown and raise this is a warning. If it seems happy either just save the file again unchanged can often raise the warning otherwise; make it invalid code (remove d off last end) and save it, then put the d back and save it again.

[sumneko]

fixed by new tracer