microsoft / microsoft/TypeScript
Types `number` and explicitly constrained `T extends unknown` shouldn't be comparable
Offen
Dieses Issue hat noch niemand übernommen.
Awaiting More Feedback
Suggestion
- Vorherrschende Sprache
- Go
- Sterne
- 111k
- Forks
- 14.4k
- Ø Merge
- 1 T. 19 Std.
- Gemergte PRs (30 T.)
- 117
Beschreibung
const num = 1;
function check<T extends unknown>(x: T) {
return x === num;
}
check(num);
Expected: Error: This condition will always return 'false' since the types 'T' and '1' have no overlap.
Actual: No error.
Contrast this with the following example from #32768.
const num = 1;
function check<T>(x: T) {
return x === num;
}
check(num);
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 damit, die beiden TypeScript-Snippets im Issue zu reproduzieren, und vergleiche, wie der Checker während des Gleichheitsvergleichs mit unbeschränktem T im Gegensatz zu T extends unknown umgeht. Als erledigt gilt es, wenn das explizit eingeschränkte Beispiel meldet, dass T und 1 keine Überschneidung haben, während das Verhalten im Vergleichsbeispiel korrekt 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
- Größtenteils klar
- Anfängerfreundlichkeit
- 35/100