microsoft / microsoft/TypeScript
Make the type guarding on 'typeof' be transitive.
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
TypeScript Version: 2.7.0
Search Terms:
typeof + transitive + type guard + typeof same
Code
function test(a: string | number, b: string | number) {
if (typeof a === typeof b && typeof a === 'string') return b.length
}
Expected behavior:
variable b be asserted as string type.
Actual behavior:
TS report: Property 'length' does not exist on type 'string | number'. at b.length
Playground Link:
Playground
Related Issues:
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 der TypeScript-2.7-Reproduktion im Playground-Link des Issues und überprüfe den gemeldeten Fehler für b.length. Finde dann den Einstiegspunkt der Typprüfung, der für die Eingrenzung durch typeof verantwortlich ist, und ermittle, welche Tests verwandte Type Guards abdecken. Als abgeschlossen gilt die Aufgabe, wenn die dargestellte Funktion b.length akzeptiert, sobald beide Operanden auf string eingegrenzt sind.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- typescript
- Bereich
- compilers
- Issue-Typ
- Feature
- Schwierigkeit
- 5/5
- Geschätzter Aufwand
- Über eine Woche
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 25/100