microsoft / microsoft/TypeScript
Generalize `never` type handling for control flow analysis based type guard
Offen
Dieses Issue hat noch niemand übernommen.
In Discussion
Suggestion
- Vorherrschende Sprache
- Go
- Sterne
- 111k
- Forks
- 14.3k
- Ø Merge
- 2 T. 4 Std.
- Gemergte PRs (30 T.)
- 132
Beschreibung
I guess there would be some duplicates, but I cannot find it.
TypeScript Version: 2.1.14
Code
function throwError(): never {
throw new Error();
}
let foo: string | undefined;
if (!foo) {
throwError();
}
foo; // Expected to be `string` instead of `string | undefined`.
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
Beginne mit dem TypeScript-Beispiel im Issue und überprüfe, wie die Control-Flow-Analyse einen Aufruf einer Funktion behandelt, die never zurückgibt. Verfolge die Type-Guard-Eingrenzung für foo nach throwError(); abgeschlossen ist die Aufgabe, wenn foo als string statt als string | undefined inferiert wird und dabei das bestehende never-Verhalten erhalten bleibt.
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
- Klar beschrieben
- Anfängerfreundlichkeit
- 38/100