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

Inizia con il TypeScript Playground collegato e riproduci l’esempio minimo con Dict, F, FF e C nelle versioni segnalate. Traccia il percorso del controllo dei tipi per l’accesso indicizzato di un tipo condizionale che si risolve in un literal di stringa, quindi aggiungi un test di regressione basato su questo esempio. Il lavoro è completato quando type C = Dict[FF] non produce errori.