LuaLS / LuaLS/lua-language-server
Generic class instanced in function should return as a concrete type
Nobody has claimed this yet.
- Dominant language
- Lua
- Stars
- 4.4k
- Forks
- 442
- PR merge metrics
- No merged PRs in 30d
Description
### 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, Hover
### Expected Behaviour
-
### Actual Behaviour
Hovering `strings` in this code below gives the type as `local strings: list<>|{ [integer]: string }`, whereas I expect the type/hover to be `local strings: list`.
```lua
---@class list: {[integer]:T}
---@generic T
---@param class `T`
---@return list
local function new_list(class)
return {}
end
local strings = new_list('string')
```
### Reproduction steps
-
### Additional Notes
_No response_
### Log File
_No response_
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the Lua reproducer in the issue and inspect the hover/type-inference path for generic class instantiation. Reproduce the reported `list<>|{ [integer]: string }` hover and verify that the result is `list`.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- lua
- Domain
- devtools
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100