param-type-mismatch on collapsed list of string literals

[cprn]

How are you using the lua-language-server?

NeoVim

Which OS are you using?

Linux

What is the issue affecting?

Type Checking

Expected Behaviour

LuaLS correctly autocompletes a string value according to annotation, then doesn't complain about it.

Actual Behaviour

LuaLS correctly autocompletes a string value according to annotation, but then claims it's of a wrong type.

Happens only to values that aren't visible on the collapsed list, e.g. return, clear, a, b, c all work fine, but not escape, print, power, euro, etc.

Reproduction steps

1. install love (or anything with a long list of constants)
2. open example.lua (below)
3. go to foo() call
4. autocomplete parameter, e.g. escape

Additional Notes

-- example.lua
love = require('love')

---@param bar love.KeyConstant
function foo(bar)  -- checking `bar` type returns entire list, including "escape"
    print(bar)
end

foo('escape')  -- LuaLS correctly autocompletes "escape" here

The error happens for every value that isn't visible on a collapsed list from the screenshot, I think.

Log File

file_home_deck_tmp_test.log

[tomlau10]

I believe this is a duplicate of #3178
A configurable option, eg Lua.type.maxCheckUnionItems, needs to be implemented to fix the issue 🤔

[cprn]

Yeah, I can confirm - I changed each > 100 to > 1000 in script/vm/type.lua and it works as expected. Closing as duplicate.