extends causing string literal can't be used as index

Bug Report

🔎 Search Terms

cannot be used as an index type

🕗 Version & Regression Information

• This changed between versions 4.9.5 and 5.0.4

⏯ Playground Link

Playground link with relevant code

💻 Code

interface Dict {
  foo: 1
  bar: 1
}

type A = Dict['foo'] // works

type F = 'foo'
type B = Dict[F] // works

type FF = 'foo' extends ('foo' | 'bar') ? 'foo' : never // in theory, FF === F
type C = Dict[FF] // not working, Type '"foo"' cannot be used as an index type.(2538)

🙁 Actual behavior

type C throws error

🙂 Expected behavior

no error

Bắt đầu với TypeScript Playground được liên kết và tái hiện ví dụ tối thiểu gồm Dict, F, FF và C trên các phiên bản đã được báo cáo. Theo dõi đường đi kiểm tra kiểu của indexed access đối với một conditional type được phân giải thành string literal, sau đó thêm một regression test dựa trên ví dụ này. Được xem là hoàn tất khi type C = Dict[FF] không tạo ra lỗi.