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

Beginne mit dem verlinkten TypeScript Playground und reproduziere das minimale Beispiel mit Dict, F, FF und C über die gemeldeten Versionen hinweg. Verfolge den Pfad der Typprüfung für den indizierten Zugriff bei einem bedingten Typ, der zu einem Stringliteral aufgelöst wird, und füge anschließend einen Regressionstest hinzu, der auf diesem Beispiel basiert. Fertig ist die Änderung, wenn type C = Dict[FF] keinen Fehler erzeugt.