os.time expected input is wrong

[Rathoz]

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

This should not be warning per the documentation of os.time()

Actual Behaviour

is giving warning

Reproduction steps

local date = os.time{year=2024, month=12, day=13}

Additional Notes

No response

Log File

No response

[GiuseppeIII]

Interesting. I think the return osdate table from os.date has to be different than the input osdate table on os.time. (with the return osdate not containing any optionals and the input osdate function containing multiple optionals). This is slightly gross :(

[carsakiller]

Thanks for the report, should be fixed now!

[lukasbestle]

Thanks for the quick fix. 😍

One question: Shouldn't wday and yday also be optional?

[carsakiller]

Good point! 😄