Unexpected typechecking (with classes only?)

Offen

#3,262 erstellt am 03.9.2025 2 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 3/5
Geschätzter Aufwand: 1-2 Tage
Anfängerfreundlichkeit: 45/100

Issue-Typ: Bug
Klarheit: Größtenteils klar
Aktivitätsstatus: Veraltet
Tech-Stack: lua
Bereich: devtools

Rechercherichtung

Beginne mit der Lua-Reproduktion im Issue und untersuche den Type-Checking-Pfad für nullable Felder bei annotierten Klassen. Bestätige das Verhalten sowohl für expandHeader(foo.header) als auch für expandHeader(bar); als erledigt gilt, dass beide Aufrufe den erwarteten Typkonflikt des Parameters melden.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

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-mismatch

Actual 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-mismatch

Reproduction steps

See actual behavior

Additional Notes

No response

Log File

No response

Vorherrschende Sprache: Lua
Sterne: 4.4k
Forks: 442
Ø Merge: 8 T. 9 Std.
Gemergte PRs (30 T.): 1

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus LuaLS/lua-language-server

[love-api] love.Data:clone() -> love.Data Offen

enhancement

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 62/100

LuaLS/lua-language-server#1776 · Erstellt am 21.12.2022
泛型for迭代器的类型推导漏掉了带__call的类 Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 65/100

LuaLS/lua-language-server#3463 · 5 Kommentare · Erstellt am 19.9.2026
Type checking for functions as argument? Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 55/100

LuaLS/lua-language-server#3461 · Erstellt am 06.9.2026
Indentation when formatting off for values inside square brackets Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100

LuaLS/lua-language-server#3460 · 1 Kommentar · 1 Reaktion · Erstellt am 02.9.2026
Using LuaJIT's nil-coalescing extension does not narrow the type correctly Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100

LuaLS/lua-language-server#3459 · 1 Reaktion · Erstellt am 31.8.2026

Alle Issues in LuaLS/lua-language-server