Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

foo.bar affect @cast hover hint #1672

Closed
xiangnanscu opened this issue Nov 6, 2022 · 0 comments
Closed

foo.bar affect @cast hover hint #1672

xiangnanscu opened this issue Nov 6, 2022 · 0 comments
Labels
bug Something isn't working
Milestone

Comments

@xiangnanscu
Copy link

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows WSL

What is the issue affecting?

Annotations

Expected Behaviour

cast as record[]

Actual Behaviour

cast as table

Reproduction steps

---@alias record {[string]:string}

---@param a record[]|number|table
local function f(a, n)
  if type(a) == 'table' then
    if a.foo then
      ---@cast a record[]
      print(a)
    end
  end
end

when you hover a of print(a), cast doesn't work, it will display:
image

when you change a.foo to a, cast work. it will display:
image

Additional Notes

No response

Log File

No response

@sumneko sumneko added the bug Something isn't working label Nov 7, 2022
@sumneko sumneko added this to the 3.6.0 milestone Nov 7, 2022
@sumneko sumneko closed this as completed in 8ed72a9 Nov 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

2 participants