[TypeScript] Mapped Types with Template Literal Keys Do Not Preserve Type Declaration References

Does this issue occur when all extensions are disabled?: Yes

• VS Code Version: 1.96.4 (Universal)
• OS Version: Darwin arm64 23.6.0 (macOS Sonoma 14.7.2)
• TypeScript Version: 5.7.3

When using Mapped Types with template literal transformations on interface fields, VSCode does not retain the original type reference. This makes it impossible to use “Go to Definition” to navigate from the transformed key back to its original declaration. WebStorm correctly maintains this reference, but VSCode does not.

Steps to Reproduce:

interface Source {
  alpha: number;
  beta: string;
}

// Transforming interface field names with a suffix
type Transformed<T> = {
  [K in keyof T as `${K & string}Suffix`]: () => T[K];
};

type Result = Transformed<Source>;
/*
Expected:
{
  alphaSuffix: () => number;
  betaSuffix: () => string;
}
*/

const obj: Result = {
  alphaSuffix: () => 42,
  betaSuffix: () => "hello",
};

// ❌ In VSCode, "Go to Definition" on `alphaSuffix` does not navigate to `alpha` in `Source`
obj.alphaSuffix();

Expected Behavior

• “Go to Definition” on alphaSuffix should navigate to alpha in Source.
• VSCode should retain the reference between transformed keys and their original interface field names.
• This works as expected in WebStorm, where alphaSuffix correctly links back to alpha.

Actual Behavior

• VSCode treats transformed keys as completely new identifiers, losing the connection to their original interface fields.
• “Go to Definition” does not work for mapped types with template literal keys.
• WebStorm successfully tracks the transformation and allows navigation to alpha.

Reproduce el ejemplo de mapped types con TypeScript 5.7.3 y prueba Go to Definition desde alphaSuffix hasta Source.alpha. Empieza rastreando la búsqueda de definiciones del servicio de lenguaje de TypeScript para mapped types y claves de template literals; se considera completado cuando la clave transformada navega hasta el campo de su interfaz original y el comportamiento tiene cobertura de regresión.