Is there a way to specify type aliases for variadic arg functions

Offen

#3,252 erstellt am 17.8.2025 4 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 5/5
Geschätzter Aufwand: Über eine Woche
Anfängerfreundlichkeit: 25/100

Issue-Typ: Feature
Klarheit: Muss geklärt werden
Aktivitätsstatus: Veraltet
Tech-Stack: lua
Bereich: tooling

Rechercherichtung

Beginne mit der bereitgestellten LuaLS-Reproduktion und vergleiche den abgeleiteten Typ mit der erwarteten Signatur der variadischen Funktion. Verfolge die Alias-Beispiele Predicate1–Predicate4, um die aktuellen Grenzen der Inferenz generischer und variadischer Aliase zu bestimmen; als abgeschlossen gilt die Aufgabe, wenn festgestellt wurde, ob unterstützte Syntax oder eine umfassendere Änderung der Inferenz erforderlich ist.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

Is there any way to achieve proper inference of variadic arguments using aliases?

a should be fun(a: table, b: string, c: integer): boolean but instead it's fun(...: table): boolean

I've also tried but it didn't work

--- @alias Predicate1<A> fun(a: A): boolean
--- @alias Predicate2<A, B> fun(a: A, b: B): boolean
--- @alias Predicate3<A, B, C> fun(a: A, b: B, c: C): boolean
--- @alias Predicate4<A, B, C, D> fun(a: A, b: B, c: C, d: D): boolean

--- @alias Predicate<A, B, C, D>
--- | Predicate1<A>
--- | Predicate2<A, B>
--- | Predicate3<A, B, C>
--- | Predicate4<A, B, C, D>

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