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

リンク先の TypeScript Playground から始め、報告されたバージョン全体で Dict、F、FF、C の最小例を再現してください。文字列リテラルに解決される条件型に対するインデックスアクセスの型チェック経路を追跡し、その後、この例に基づく回帰テストを追加してください。type C = Dict[FF] でエラーが発生しなければ完了です。