microsoft / microsoft/TypeScript
Type guards can't deal with unknown type as default
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Go
- Sterne
- 111k
- Forks
- 14.4k
- Ø Merge
- 1 T. 19 Std.
- Gemergte PRs (30 T.)
- 117
Beschreibung
We can't know the failures of type inference in type guards because of this problem. Maybe a is any[] should also return unknown[].
TypeScript Version: 3.7.x-dev.20200410
Search Terms:
Code
declare function f(a: any): a is any[];
declare function g(a: any): a is unknown[];
declare const a: readonly number[];
f(a) && a; // any[]
g(a) && a; // not unknown[]
Expected behavior:
a's type narrowed by g is unknown[].
Actual behavior:
a's type narrowed by g is readonly number[] & unknown[].
Related Issues: #17002
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 das Narrowing-Verhalten im verknüpften TypeScript Playground anhand der Deklarationen für f, g und readonly number[] a und untersuche anschließend die Narrowing-Logik für Type Guards. Erledigt ist die Aufgabe, wenn g(a) a erwartungsgemäß auf unknown[] eingrenzt und das Verhalten durch einen Regressionstest abgedeckt ist; das verwandte Issue #17002 kann Kontext liefern.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- typescript
- Bereich
- compilers
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 35/100