Fixed a crash in getPropertyNameForPropertyNameNode on NoSubstitutionTemplateLiteral (#55930)

Author: Andarist

src/compiler/checker.ts

@@ -17727,7 +17727,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
         return false;
     }
 
-    function getPropertyNameFromIndex(indexType: Type, accessNode: StringLiteral | Identifier | PrivateIdentifier | ObjectBindingPattern | ArrayBindingPattern | ComputedPropertyName | NumericLiteral | IndexedAccessTypeNode | ElementAccessExpression | SyntheticExpression | undefined) {
+    function getPropertyNameFromIndex(indexType: Type, accessNode: PropertyName | ObjectBindingPattern | ArrayBindingPattern | IndexedAccessTypeNode | ElementAccessExpression | SyntheticExpression | undefined) {
         return isTypeUsableAsPropertyName(indexType) ?
             getPropertyNameFromType(indexType) :
             accessNode && isPropertyName(accessNode) ?

src/compiler/types.ts

@@ -1692,7 +1692,7 @@ export interface QualifiedName extends Node, FlowContainer {
 
 export type EntityName = Identifier | QualifiedName;
 
-export type PropertyName = Identifier | StringLiteral | NumericLiteral | ComputedPropertyName | PrivateIdentifier;
+export type PropertyName = Identifier | StringLiteral | NoSubstitutionTemplateLiteral | NumericLiteral | ComputedPropertyName | PrivateIdentifier;
 
 export type MemberName = Identifier | PrivateIdentifier;
 

src/compiler/utilities.ts

@@ -5062,6 +5062,7 @@ export function getPropertyNameForPropertyNameNode(name: PropertyName | JsxAttri
         case SyntaxKind.PrivateIdentifier:
             return name.escapedText;
         case SyntaxKind.StringLiteral:
+        case SyntaxKind.NoSubstitutionTemplateLiteral:
         case SyntaxKind.NumericLiteral:
             return escapeLeadingUnderscores(name.text);
         case SyntaxKind.ComputedPropertyName:

tests/baselines/reference/api/typescript.d.ts

@@ -4976,7 +4976,7 @@ declare namespace ts {
         readonly right: Identifier;
     }
     type EntityName = Identifier | QualifiedName;
-    type PropertyName = Identifier | StringLiteral | NumericLiteral | ComputedPropertyName | PrivateIdentifier;
+    type PropertyName = Identifier | StringLiteral | NoSubstitutionTemplateLiteral | NumericLiteral | ComputedPropertyName | PrivateIdentifier;
     type MemberName = Identifier | PrivateIdentifier;
     type DeclarationName = PropertyName | JsxAttributeName | StringLiteralLike | ElementAccessExpression | BindingPattern | EntityNameExpression;
     interface Declaration extends Node {

tests/baselines/reference/indexTypeNoSubstitutionTemplateLiteral.js

@@ -0,0 +1,14 @@
+//// [tests/cases/compiler/indexTypeNoSubstitutionTemplateLiteral.ts] ////
+
+//// [indexTypeNoSubstitutionTemplateLiteral.ts]
+function Foo() {}
+Foo[`b`] = function () {};
+
+type Test = keyof typeof Foo;
+
+
+
+//// [indexTypeNoSubstitutionTemplateLiteral.js]
+"use strict";
+function Foo() { }
+Foo["b"] = function () { };

tests/baselines/reference/indexTypeNoSubstitutionTemplateLiteral.symbols

@@ -0,0 +1,15 @@
+//// [tests/cases/compiler/indexTypeNoSubstitutionTemplateLiteral.ts] ////
+
+=== indexTypeNoSubstitutionTemplateLiteral.ts ===
+function Foo() {}
+>Foo : Symbol(Foo, Decl(indexTypeNoSubstitutionTemplateLiteral.ts, 0, 0), Decl(indexTypeNoSubstitutionTemplateLiteral.ts, 0, 17))
+
+Foo[`b`] = function () {};
+>Foo : Symbol(Foo, Decl(indexTypeNoSubstitutionTemplateLiteral.ts, 0, 0), Decl(indexTypeNoSubstitutionTemplateLiteral.ts, 0, 17))
+>`b` : Symbol(Foo[`b`], Decl(indexTypeNoSubstitutionTemplateLiteral.ts, 0, 17))
+
+type Test = keyof typeof Foo;
+>Test : Symbol(Test, Decl(indexTypeNoSubstitutionTemplateLiteral.ts, 1, 26))
+>Foo : Symbol(Foo, Decl(indexTypeNoSubstitutionTemplateLiteral.ts, 0, 0), Decl(indexTypeNoSubstitutionTemplateLiteral.ts, 0, 17))
+
+

tests/baselines/reference/indexTypeNoSubstitutionTemplateLiteral.types

@@ -0,0 +1,18 @@
+//// [tests/cases/compiler/indexTypeNoSubstitutionTemplateLiteral.ts] ////
+
+=== indexTypeNoSubstitutionTemplateLiteral.ts ===
+function Foo() {}
+>Foo : typeof Foo
+
+Foo[`b`] = function () {};
+>Foo[`b`] = function () {} : () => void
+>Foo[`b`] : () => void
+>Foo : typeof Foo
+>`b` : "b"
+>function () {} : () => void
+
+type Test = keyof typeof Foo;
+>Test : "b"
+>Foo : typeof Foo
+
+

tests/cases/compiler/indexTypeNoSubstitutionTemplateLiteral.ts

@@ -0,0 +1,7 @@
+// @strict: true
+
+function Foo() {}
+Foo[`b`] = function () {};
+
+type Test = keyof typeof Foo;
+