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

Bắt đầu với TypeScript Playground được liên kết và ví dụ Foo2 rút gọn để tái hiện lỗi. Issue không nêu tệp nguồn hay bài kiểm thử nào; hãy theo dõi cách trình biên dịch xử lý các bound kiểu được suy luận, sau đó xác minh rằng ví dụ chấp nhận Record<A, number> như mong đợi và bổ sung coverage hồi quy.