Improve reuse of nodes in signatures with type mapping (#58546)

Author: dragomirtitian

src/compiler/checker.ts

@@ -557,7 +557,7 @@ function getSymbolDisplayPartsDocumentationAndSymbolKindWorker(typeChecker: Type
                         typeChecker,
                         resolvedSymbol,
                         getSourceFileOfNode(resolvedNode),
-                        resolvedNode,
+                        enclosingDeclaration,
                         declarationName,
                         type,
                         semanticMeaning,

src/services/symbolDisplay.ts

@@ -35,15 +35,15 @@ class Board {
 >this.ships.every(function (val) { return val.isSunk; }) : boolean
 >                                                        : ^^^^^^^
 >this.ships.every : { <S extends Ship>(predicate: (value: Ship, index: number, array: Ship[]) => value is S, thisArg?: any): this is S[]; (predicate: (value: Ship, index: number, array: Ship[]) => unknown, thisArg?: any): boolean; }
->                 : ^^^^^^^^^^^^^^^^^^^         ^^^     ^^^^^^^^     ^^      ^^     ^^^^^^^^^^^^^^^^^^^^^^^^^       ^^^   ^^^^^^^^^^^^^^^^^         ^^^     ^^^^^^^^     ^^      ^^     ^^^^^^^^^^^^^^^^^^^^^^       ^^^   ^^^^^^^^^^^^^
+>                 : ^^^^^^^^^^^^^^^^^^^         ^^^     ^^^^^^^^     ^^      ^^     ^^^^^^^^^^^^^^^^^^^^^^^^^       ^^^   ^^^        ^  ^^^         ^^^     ^^^^^^^^     ^^      ^^     ^^^^^^^^^^^^^       ^^       ^^^   ^^^       ^^^
 >this.ships : Ship[]
 >           : ^^^^^^
 >this : this
 >     : ^^^^
 >ships : Ship[]
 >      : ^^^^^^
 >every : { <S extends Ship>(predicate: (value: Ship, index: number, array: Ship[]) => value is S, thisArg?: any): this is S[]; (predicate: (value: Ship, index: number, array: Ship[]) => unknown, thisArg?: any): boolean; }
->      : ^^^^^^^^^^^^^^^^^^^         ^^^     ^^^^^^^^     ^^      ^^     ^^^^^^^^^^^^^^^^^^^^^^^^^       ^^^   ^^^^^^^^^^^^^^^^^         ^^^     ^^^^^^^^     ^^      ^^     ^^^^^^^^^^^^^^^^^^^^^^       ^^^   ^^^^^^^^^^^^^
+>      : ^^^^^^^^^^^^^^^^^^^         ^^^     ^^^^^^^^     ^^      ^^     ^^^^^^^^^^^^^^^^^^^^^^^^^       ^^^   ^^^        ^  ^^^         ^^^     ^^^^^^^^     ^^      ^^     ^^^^^^^^^^^^^       ^^       ^^^   ^^^       ^^^
 >function (val) { return val.isSunk; } : (val: Ship) => boolean
 >                                      : ^   ^^^^^^^^^^^^^^^^^^
 >val : Ship

tests/baselines/reference/1.0lib-noErrors.types

@@ -34,19 +34,19 @@ var cl: { x: number; y: number; }
 
 var cl = Point();
 >cl : { x: number; y: number; }
->   : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>   : ^^^^^      ^^^^^      ^^^
 >Point() : { x: number; y: number; }
->        : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>        : ^^^^^      ^^^^^      ^^^
 >Point : typeof Point
 >      : ^^^^^^^^^^^^
 
 var cl = Point.Origin;
 >cl : { x: number; y: number; }
->   : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>   : ^^^^^      ^^^^^      ^^^
 >Point.Origin : { x: number; y: number; }
->             : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>             : ^^^^^      ^^^^^      ^^^
 >Point : typeof Point
 >      : ^^^^^^^^^^^^
 >Origin : { x: number; y: number; }
->       : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>       : ^^^^^      ^^^^^      ^^^
 

tests/baselines/reference/2dArrays.types

@@ -60,21 +60,21 @@ var p: { x: number; y: number; }
 
 var p = A.Point.Origin;
 >p : { x: number; y: number; }
->  : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>  : ^^^^^      ^^^^^      ^^^
 >A.Point.Origin : { x: number; y: number; }
->               : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>               : ^^^^^      ^^^^^      ^^^
 >A.Point : typeof A.Point
 >        : ^^^^^^^^^^^^^^
 >A : typeof A
 >  : ^^^^^^^^
 >Point : typeof A.Point
 >      : ^^^^^^^^^^^^^^
 >Origin : { x: number; y: number; }
->       : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>       : ^^^^^      ^^^^^      ^^^
 
 var p = new A.Point(0, 0); // unexpected error here, bug 840000
 >p : { x: number; y: number; }
->  : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>  : ^^^^^      ^^^^^      ^^^
 >new A.Point(0, 0) : A.Point
 >                  : ^^^^^^^
 >A.Point : typeof A.Point

tests/baselines/reference/AmbientModuleAndAmbientFunctionWithTheSameNameAndCommonRoot.types

@@ -52,21 +52,21 @@ var p: { x: number; y: number; }
 
 var p = A.Point.Origin;
 >p : { x: number; y: number; }
->  : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>  : ^^^^^      ^^^^^      ^^^
 >A.Point.Origin : { x: number; y: number; }
->               : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>               : ^^^^^      ^^^^^      ^^^
 >A.Point : typeof A.Point
 >        : ^^^^^^^^^^^^^^
 >A : typeof A
 >  : ^^^^^^^^
 >Point : typeof A.Point
 >      : ^^^^^^^^^^^^^^
 >Origin : { x: number; y: number; }
->       : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>       : ^^^^^      ^^^^^      ^^^
 
 var p = new A.Point(0, 0); // unexpected error here, bug 840000
 >p : { x: number; y: number; }
->  : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>  : ^^^^^      ^^^^^      ^^^
 >new A.Point(0, 0) : A.Point
 >                  : ^^^^^^^
 >A.Point : typeof A.Point

tests/baselines/reference/AmbientModuleAndAmbientWithSameNameAndCommonRoot.types

@@ -43,19 +43,19 @@ var cl: { x: number; y: number; }
 
 var cl = Point();
 >cl : { x: number; y: number; }
->   : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>   : ^^^^^      ^^^^^      ^^^
 >Point() : { x: number; y: number; }
 >        : ^^^^^^^^^^^^^^^^^^^^^^^^^
 >Point : typeof Point
 >      : ^^^^^^^^^^^^
 
 var cl = Point.Origin;
 >cl : { x: number; y: number; }
->   : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>   : ^^^^^      ^^^^^      ^^^
 >Point.Origin : { x: number; y: number; }
->             : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>             : ^^^^^      ^^^^^      ^^^
 >Point : typeof Point
 >      : ^^^^^^^^^^^^
 >Origin : { x: number; y: number; }
->       : ^^^^^^^^^^^^^^^^^^^^^^^^^
+>       : ^^^^^      ^^^^^      ^^^
 

tests/baselines/reference/AmbientModuleAndNonAmbientClassWithSameNameAndCommonRoot.types

@@ -17,11 +17,11 @@ for (var v of ['a', 'b', 'c']) {
 >console.log(v) : void
 >               : ^^^^
 >console.log : (...data: any[]) => void
->            : ^^^^    ^^     ^^^^^^^^^
+>            : ^^^^    ^^     ^^^^^    
 >console : Console
 >        : ^^^^^^^
 >log : (...data: any[]) => void
->    : ^^^^    ^^     ^^^^^^^^^
+>    : ^^^^    ^^     ^^^^^    
 >v : string
 >  : ^^^^^^
 }

tests/baselines/reference/AmbientModuleAndNonAmbientFunctionWithTheSameNameAndCommonRoot.types

@@ -23,11 +23,11 @@ for (var x of [1, 2, 3]) {
 >console.log(x) : void
 >               : ^^^^
 >console.log : (...data: any[]) => void
->            : ^^^^    ^^     ^^^^^^^^^
+>            : ^^^^    ^^     ^^^^^    
 >console : Console
 >        : ^^^^^^^
 >log : (...data: any[]) => void
->    : ^^^^    ^^     ^^^^^^^^^
+>    : ^^^^    ^^     ^^^^^    
 >x : number
 >  : ^^^^^^
 }