fix(56052): allow rename string literal props

Author: a-tarasyuk

src/services/findAllReferences.ts

@@ -2446,7 +2446,7 @@ export namespace Core {
                 if (isStringLiteralLike(ref) && ref.text === node.text) {
                     if (type) {
                         const refType = getContextualTypeFromParentOrAncestorTypeNode(ref, checker);
-                        if (type !== checker.getStringType() && type === refType) {
+                        if (type !== checker.getStringType() && (type === refType || isStringLiteralPropertyReference(ref, checker))) {
                             return nodeEntry(ref, EntryKind.StringLiteral);
                         }
                     }
@@ -2464,6 +2464,13 @@ export namespace Core {
         }];
     }
 
+    function isStringLiteralPropertyReference(node: StringLiteralLike, checker: TypeChecker) {
+        const container = findAncestor(node, or(isInterfaceDeclaration, isTypeLiteralNode));
+        if (container) {
+            return checker.getPropertyOfType(checker.getTypeAtLocation(container), node.text);
+        }
+    }
+
     // For certain symbol kinds, we need to include other symbols in the search set.
     // This is not needed when searching for re-exports.
     function populateSearchSymbolSet(symbol: Symbol, location: Node, checker: TypeChecker, isForRename: boolean, providePrefixAndSuffixText: boolean, implementations: boolean): Symbol[] {

tests/baselines/reference/renameStringLiteralTypes4.baseline.jsonc

@@ -0,0 +1,9 @@
+// === findRenameLocations ===
+// === /tests/cases/fourslash/renameStringLiteralTypes4.ts ===
+// interface I {
+//     <|"[|Prop 1RENAME|]": string;|>
+// }
+// 
+// declare const fn: <K extends keyof I>(p: K) => void
+// 
+// fn("[|Prop 1RENAME|]"/*RENAME*/)

tests/baselines/reference/renameStringLiteralTypes5.baseline.jsonc

@@ -0,0 +1,9 @@
+// === findRenameLocations ===
+// === /tests/cases/fourslash/renameStringLiteralTypes5.ts ===
+// type T = {
+//     <|"[|Prop 1RENAME|]": string;|>
+// }
+// 
+// declare const fn: <K extends keyof T>(p: K) => void
+// 
+// fn("[|Prop 1RENAME|]"/*RENAME*/)

tests/cases/fourslash/renameStringLiteralTypes4.ts

@@ -0,0 +1,11 @@
+/// <reference path="fourslash.ts" />
+
+////interface I {
+////    "Prop 1": string;
+////}
+////
+////declare const fn: <K extends keyof I>(p: K) => void
+////
+////fn("Prop 1"/**/)
+
+verify.baselineRename("", {});

tests/cases/fourslash/renameStringLiteralTypes5.ts

@@ -0,0 +1,11 @@
+/// <reference path="fourslash.ts" />
+
+////type T = {
+////    "Prop 1": string;
+////}
+////
+////declare const fn: <K extends keyof T>(p: K) => void
+////
+////fn("Prop 1"/**/)
+
+verify.baselineRename("", {});