Infer type isn't contextual typed by type bounds

Bug Report

Infer type isn't contextual typed by type bounds

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

リンクされている TypeScript Playground と縮小された Foo2 の例から始めて、エラーを再現してください。Issue にはソースファイルもテストも指定されていません。コンパイラーが推論された型の境界をどのように処理するかを追跡し、その後、例が期待どおり Record<A, number> を受け入れることを確認して、回帰テストのカバレッジを追加してください。