LuaLS / LuaLS/lua-language-server

Incorrect types used for overloaded class when passed as argument

未關閉
#3,274 0 則留言 0 個 reaction 已指派 0 人 在 GitHub 檢視

還沒有人認領這個 Issue。

主要語言
Lua
星號
4.4k
分支
442
PR 合併指標
30 天內沒有已合併 PR

描述

How are you using the lua-language-server?

NeoVim

Which OS are you using?

Linux

What is the issue affecting?

Type Checking

Expected Behaviour

When a class which is overloaded as a function, if that class is passed as an argument to another function it should be checked as if it is a function if the argument has a function type.

---@param f function
local function call(f) f() end

---@class foo
---@overload fun()
local something = setmetatable({}, {__call = function () end})

call(something) -- <-- Here something should be treated as `fun()`
Actual Behaviour

The type of the class is treated as foo|fun() which results in a warning because foo does not match function.

Reproduction steps
  1. Create a class with an overload
  2. Pass it to another function which takes a function argument
  3. Observe that a warning is produced
Additional Notes

No response

Log File

No response

貢獻指南

開啟貢獻指南

從這裡開始

  1. 先讀完整個 Issue,再讀專案的貢獻指南。
  2. 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
  3. Fork 儲存庫,在一個分支上完成修改。
  4. 送出 Pull Request,並在描述裡引用這個 Issue 編號。

研究方向

從提供的 Lua 重現範例開始,追蹤函式引數和多載類別的型別檢查路徑。當可呼叫類別傳遞給函式型別參數時範例不再發出警告,同時重現步驟仍能正確執行,即表示完成。

由索引模型根據 Issue 內容生成。

評估

技術堆疊
lua
領域
devtools
Issue 類型
缺陷
難度
4/5
預估耗時
3-5 天
活躍度
停滯
描述清晰度
基本清楚
新手友好度
42/100

把新 issue 寄到你的電子郵件信箱

精選適合新手參與的 GitHub issue 摘要。