Type warning when calling os.time with a table

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?

Type Checking

Expected Behaviour

No warning

Actual Behaviour

The following warning is appearing:

Cannot assign string|osdate to parameter osdateparam?.

• string cannot match osdateparam?
• Type string cannot match nil
• Type string cannot match osdateparam

Reproduction steps

1. Enter the following code

local tDate = os.date("*t", os.time())
-- tDate is a table, e.g. {year=2024, month=1, day=10, hour=13, min=2, sec=24, yday=10, wday=4, isdst=false}
local newTime = os.time(tDate)

2. Linter warning appears in the problems tab

Additional Notes

No response

Log File

No response

Issue の Lua スニペットを使って Visual Studio Code 拡張機能で警告を再現し、os.date と os.time の呼び出しに焦点を当てます。os.time に使用されている型情報を追跡し、os.date("*t", os.time()) が返すテーブルを渡しても型チェックの警告なしで受け入れられることを確認します。