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

Reproduisez l’avertissement dans l’extension Visual Studio Code avec l’extrait Lua de l’issue, en vous concentrant sur les appels os.date et os.time. Suivez les informations de type utilisées pour os.time et vérifiez que le passage de la table renvoyée par os.date("*t", os.time()) est accepté sans avertissement de vérification de type.