Repository navigation
Unexpected typechecking (with classes only?) #3262
Description
How are you using the lua-language-server?
Visual Studio Code Extension (sumneko.lua)
Which OS are you using?
MacOS
What is the issue affecting?
Type Checking
Expected Behaviour
---@param a string
---@return string
local function expandHeader(a) return a end
---@class baz
---@field header string?
---@type baz
local foo = {}
local bar = foo.header
expandHeader(foo.header) -- param-type-mismatch
expandHeader(bar) -- param-type-mismatchActual Behaviour
---@param a string
---@return string
local function expandHeader(a) return a end
---@class baz
---@field header string?
---@type baz
local foo = {}
local bar = foo.header
expandHeader(foo.header) -- NO WARNING
expandHeader(bar) -- param-type-mismatchReproduction steps
See actual behavior
Additional Notes
No response
Log File
No response
Activity
firas-assaad commentedon Oct 1, 2025
I don't understand the
as designedlabel added by @CppCXY here because it looks like a legitimate issue. I also expect a warning for both cases. Does it mean that it's a consequence of the current design and can't be easily fixed?CppCXY commentedon Oct 2, 2025
My mistake, I mixed up expected and actual.