Generics Return Issue

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

Expected Behaviour

In this function:

--- Merge two tables together, keys that are the same will use the value from the second table
---@generic K, V, L, W
---@param table1 table<K, V>
---@param table2 table<L, W>
---@return table<K | L, V | W>
function table.merge(table1, table2)
	for k, v in pairs(table2) do
		table1[k] = v
	end

	return table1
end

I would expect the return type to be table<K | L, V | W> however it is actually always table<K, V>
There is also a secondary issue here where k, v are seen as unknown when they should be seen as V, W (I assume this is another generics issue)

Actual Behaviour

Reproduction steps

1. Copy example code
2. Observe result

Additional Notes

No response

Log File

No response

Tái hiện ví dụ table.merge có chú thích trong extension Visual Studio Code trên Windows. Bắt đầu bằng cách theo dõi chú thích generic và suy luận kiểu bảng cho @generic, @param, @return và pairs; hoàn thành khi giá trị trả về là table<K | L, V | W> và k và v được phân giải thành các kiểu của bảng thứ hai.