Type of reverse enum lookup is string | undefined with noUncheckedIndexedAccess enabled

Bug Report

🔎 Search Terms

• enum
• noUncheckedIndexedAccess
• undefined

🕗 Version & Regression Information

This is a new feature in Typescript 4.1.

⏯ Playground Link

Playground link with relevant code

💻 Code

enum Foo {
  A, 
  B,
  C,
}

let x: string = Foo[Foo.A];

🙁 Actual behavior

With noUncheckedIndexedAccess it gives an error because the type of Foo[Foo.A] is determined to be string | undefined.

🙂 Expected behavior

I can't see any reason why the type shouldn't be string even with noUncheckedIndexedAccess enabled.

リンクされた TypeScript Playground から始め、noUncheckedIndexedAccess を有効にして、enum の逆引き Foo[Foo.A] を調べます。この式の型チェックの動作を追跡します。string | undefined と報告されるのではなく、string として受け入れられれば完了です。