LuaLS / LuaLS/lua-language-server
Inference failure when conditionally swapping variable?
Offen
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Lua
- Sterne
- 4.4k
- Forks
- 442
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
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 .. ")")
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
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.
Bewertung
- Tech-Stack
- lua
- Bereich
- devtools
- Issue-Typ
- Bug
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Ruhig
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 55/100