Infer type isn't contextual typed by type bounds

Description

Bug Report

type Foo<T> = T extends string ? Record<T, number> : never;

type Foo2<T extends {a:string}>= T extends {a: infer A} ?  Record<A, number>:never; //error here, A should extends string already, but seems not

🔎 Search Terms

generic infer bounds

🕗 Version & Regression Information

4.2.3

⏯ Playground Link

https://www.typescriptlang.org/play?#code/C4TwDgpgBAYg9nAPAFQHxQLxWVCAPYCAOwBMBnKM4AJwEsiBzKAfigCUIBjOaklAGihEArgFsARhGroAXEIgA3KQG4AUKtCRYCAEwpcBYuSgBvAIYyqdRgF9UWHPkKkK5ufQBmUqAEEbLKHYuHj4fQREJKVQZIkUVIA

💻 Code

type Foo<T> = T extends string ? Record<T, number> : never;

type Foo2<T extends {a:string}>= T extends {a: infer A} ?  Record<A, number>:never; //error here, A should extends string already, but seems not

🙁 Actual behavior

throw error

🙂 Expected behavior

not throw error

Par où commencer

Lisez l'issue en entier, puis le guide de contribution du projet.

Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.

Forkez le dépôt et travaillez sur une branche.

Ouvrez une pull request qui référence le numéro de l'issue.

Piste de recherche

Commencez par le TypeScript Playground lié et l’exemple réduit Foo2 afin de reproduire l’erreur. L’issue ne nomme aucun fichier source ni aucun test ; suivez la manière dont le compilateur gère les bornes de type inférées, puis vérifiez que l’exemple accepte Record<A, number> comme prévu et ajoutez une couverture de régression.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Stack technique

typescript

Domaine

compilers

Type d'issue

Bug

Difficulté

4/5

Temps estimé

3-5 jours

Activité

À l'abandon

Clarté

Plutôt claire

Accessibilité débutants

35/100