Should go to type declaration on arrays if possible

Suggestion

@Andarist thank you so much for fixing #14148, however, it doesn't work if we modify the code so the array is part of the desired type:

type B = {}[]
declare const goToTypeDefinitionOnMe: B

{} can also be literal, like string union. It displays the type definition B only if it is not an empty object.

STR

Go to type definition on goToTypeDefinitionOnMe in vscode.

Actual behavior

It reveals only lib.d.ts Array definitions.

Expected behavior

It should primarily reveal type B. Like as it does with the following code:

type B = { foo }[]
declare const goToTypeDefinitionOnMe: B

Of course, I faced this problem in more complicated examples. However I decided to simply the case here.

I understand that in some cases, unfortunately, information of the target type (e.g. string union) is lost. However I tried to debug here
https://github.com/microsoft/TypeScript/blob/2623fe7049cfd837552c1dfab0b3c4687f0ec8a2/src/services/goToDefinition.ts#L444
and I saw that resolvedType actually has resolvedType.aliasSymbol.declarations[0] which is what I'm looking for (it points to type B)! So as I understand we can improve behavior in the following case, right?

🔍 Search Terms

go to type definition on array types still point to array from lib.d.ts

✅ Viability Checklist

My suggestion meets these guidelines:

• This wouldn't be a breaking change in existing TypeScript/JavaScript code
• This wouldn't change the runtime behavior of existing JavaScript code
• This could be implemented without emitting different JS based on the types of the expressions
• This isn't a runtime feature (e.g. library functionality, non-ECMAScript syntax with JavaScript output, new syntax sugar for JS, etc.)
• This feature would agree with the rest of TypeScript's Design Goals.

Reproduisez le comportement dans VS Code avec l’exemple de type array, puis commencez dans src/services/goToDefinition.ts autour de la gestion référencée de resolvedType. Le travail est terminé lorsque go-to-definition ouvre principalement le type B pour un array dont le type d’élément est un objet vide ou un type littéral, tout en conservant le comportement existant pour les autres cas.