Issue with generic parameters in 3.6

[firas-assaad]

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, Diagnostics/Syntax Checking

Expected Behaviour

Actual Behaviour

Reproduction steps

---@generic T
---@param arr T[]
---@param val? T|(fun(e : T) : boolean)
---@return T? element
local function find(arr, val)
    return arr[1]
end

local arr = { 'a', 'b' }
find(arr, 'b')

Additional Notes

Not sure if my annotations are wrong, but it worked in the previous version. If I change the signature so that the second parameter is T instead of T|fun(e : T) : boolean then it works fine.

---@generic T
---@param arr T[]
---@param val? T
---@return T? element
local function find(arr, val)

Thanks for your continued work on the language server!

Log File

Let me know if you need it.

[firas-assaad]

Not sure if this usage of generics is supported, but I have a similar issue here as well:

---@generic T
---@param v1 T
---@param v2 T|table
local function func(v1, v2)
end

func('hello', {}) -- works
func('hello', 'world') -- param-type-mismatch, cannot assign string to table|<T>