Fix(checker): Allow element access expressions in computed property names if argument is literal (Fixes #25083)

Author: kairosci

src/compiler/checker.ts

@@ -13720,14 +13720,24 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
             && isTypeUsableAsIndexSignature(isComputedPropertyName(node) ? checkComputedPropertyName(node) : checkExpressionCached((node as ElementAccessExpression).argumentExpression));
     }
 
-    function isLateBindableAST(node: DeclarationName) {
-        if (!isComputedPropertyName(node) && !isElementAccessExpression(node)) {
-            return false;
+    function isLateBindableExpression(expr: Expression): boolean {
+        while (isElementAccessExpression(expr)) {
+            if (!isStringOrNumericLiteralLike(expr.argumentExpression)) return false;
+            expr = expr.expression;
         }
-        const expr = isComputedPropertyName(node) ? node.expression : node.argumentExpression;
         return isEntityNameExpression(expr);
     }
 
+    function isLateBindableAST(node: DeclarationName) {
+        if (isComputedPropertyName(node)) {
+            return isLateBindableExpression(node.expression);
+        }
+        else if (isElementAccessExpression(node)) {
+            return isLateBindableExpression(node.argumentExpression);
+        }
+        return false;
+    }
+
     function isTypeUsableAsIndexSignature(type: Type): boolean {
         return isTypeAssignableTo(type, stringNumberSymbolType);
     }

tests/cases/compiler/enumKeysInTypeLiteral.ts

@@ -0,0 +1,15 @@
+
+enum Type {
+  Foo = 'foo',
+  '3x14' = '3x14'
+}
+
+type TypeMap = {
+  [Type.Foo]: 1;
+  [Type['3x14']]: 2;
+}
+
+const t: TypeMap = {
+    'foo': 1,
+    '3x14': 2
+};