Inference failure when conditionally swapping variable?

Offen

#3,426 erstellt am 26.6.2026 0 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: 55/100

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

Rechercherichtung

Reproduziere zunächst das Beispiel für eine bedingte Mehrfachzuweisung aus dem Issue und untersuche den Inferenzpfad für b, a = a, b. Verfolge, warum die Neuzuweisung eine Diagnose zum unbekannten Typ erzeugt, und überprüfe anschließend, dass das Snippet die Diagnose nicht mehr meldet, während die inferierten Typen von a und b erhalten bleiben.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

Is the following expected? Why does inference fail at all?

local a, b = 5, 8
if a < b then
   b, a = a, b
   -- ^ Unknown: cannot infer type.
end
print("(" .. a .. ", " .. b .. ")")

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