feat(47558): check JSDoc link tags in TypeScript/JavaScript files

Author: a-tarasyuk

src/compiler/checker.ts

@@ -36200,6 +36200,10 @@ namespace ts {
             checkSourceElement(node.typeExpression);
         }
 
+        function checkJSDocLinkLikeTag(node: JSDocLink | JSDocLinkCode | JSDocLinkPlain) {
+            checkSourceElement(node.name);
+        }
+
         function checkJSDocParameterTag(node: JSDocParameterTag) {
             checkSourceElement(node.typeExpression);
             if (!getParameterSymbolFromJSDoc(node)) {
@@ -40347,9 +40351,15 @@ namespace ts {
         }
 
         function checkSourceElementWorker(node: Node): void {
-            if (isInJSFile(node)) {
-                forEach((node as JSDocContainer).jsDoc, ({ tags }) => forEach(tags, checkSourceElement));
-            }
+            forEach((node as JSDocContainer).jsDoc, ({ comment, tags }) => {
+                checkJSDocCommentWorker(comment);
+                forEach(tags, tag => {
+                    checkJSDocCommentWorker(tag.comment);
+                    if (isInJSFile(node)) {
+                        checkSourceElement(tag);
+                    }
+                });
+            });
 
             const kind = node.kind;
             if (cancellationToken) {
@@ -40437,6 +40447,10 @@ namespace ts {
                     return checkJSDocTemplateTag(node as JSDocTemplateTag);
                 case SyntaxKind.JSDocTypeTag:
                     return checkJSDocTypeTag(node as JSDocTypeTag);
+                case SyntaxKind.JSDocLink:
+                case SyntaxKind.JSDocLinkCode:
+                case SyntaxKind.JSDocLinkPlain:
+                    return checkJSDocLinkLikeTag(node as JSDocLink | JSDocLinkCode | JSDocLinkPlain);
                 case SyntaxKind.JSDocParameterTag:
                     return checkJSDocParameterTag(node as JSDocParameterTag);
                 case SyntaxKind.JSDocPropertyTag:
@@ -40532,6 +40546,16 @@ namespace ts {
             }
         }
 
+        function checkJSDocCommentWorker(node: string | readonly JSDocComment[] | undefined) {
+            if (isArray(node)) {
+                forEach(node, tag => {
+                    if (isJSDocLinkLike(tag)) {
+                        checkSourceElement(tag);
+                    }
+                });
+            }
+        }
+
         function checkJSDocTypeIsInJsFile(node: Node): void {
             if (!isInJSFile(node)) {
                 grammarErrorOnNode(node, Diagnostics.JSDoc_types_can_only_be_used_inside_documentation_comments);

tests/baselines/reference/jsdocLinkTag1.js

@@ -0,0 +1,18 @@
+//// [tests/cases/conformance/jsdoc/jsdocLinkTag1.ts] ////
+
+//// [a.ts]
+export interface A {}
+
+//// [b.ts]
+import type { A } from "./a";
+
+/** {@link A} */
+export interface B {}
+
+
+//// [a.js]
+"use strict";
+exports.__esModule = true;
+//// [b.js]
+"use strict";
+exports.__esModule = true;

tests/baselines/reference/jsdocLinkTag1.symbols

@@ -0,0 +1,12 @@
+=== /a.ts ===
+export interface A {}
+>A : Symbol(A, Decl(a.ts, 0, 0))
+
+=== /b.ts ===
+import type { A } from "./a";
+>A : Symbol(A, Decl(b.ts, 0, 13))
+
+/** {@link A} */
+export interface B {}
+>B : Symbol(B, Decl(b.ts, 0, 29))
+

tests/baselines/reference/jsdocLinkTag1.types

@@ -0,0 +1,10 @@
+=== /a.ts ===
+export interface A {}
+No type information for this code.
+No type information for this code.=== /b.ts ===
+import type { A } from "./a";
+>A : A
+
+/** {@link A} */
+export interface B {}
+

tests/baselines/reference/jsdocLinkTag2.symbols

@@ -0,0 +1,13 @@
+=== /a.js ===
+export class A {}
+>A : Symbol(A, Decl(a.js, 0, 0))
+
+=== /b.js ===
+import { A } from "./a";
+>A : Symbol(A, Decl(b.js, 0, 8))
+
+/** {@link A} */
+export class B {}
+>B : Symbol(B, Decl(b.js, 0, 24))
+
+

tests/baselines/reference/jsdocLinkTag2.types

@@ -0,0 +1,13 @@
+=== /a.js ===
+export class A {}
+>A : A
+
+=== /b.js ===
+import { A } from "./a";
+>A : typeof A
+
+/** {@link A} */
+export class B {}
+>B : B
+
+

tests/baselines/reference/jsdocLinkTag3.js

@@ -0,0 +1,26 @@
+//// [tests/cases/conformance/jsdoc/jsdocLinkTag3.ts] ////
+
+//// [a.ts]
+export interface A {}
+
+//// [b.ts]
+import type { A } from "./a";
+
+/**
+ * @param {number} a - see {@link A}
+ */
+export function foo(a: string) {}
+
+
+//// [a.js]
+"use strict";
+exports.__esModule = true;
+//// [b.js]
+"use strict";
+exports.__esModule = true;
+exports.foo = void 0;
+/**
+ * @param {number} a - see {@link A}
+ */
+function foo(a) { }
+exports.foo = foo;

tests/baselines/reference/jsdocLinkTag3.symbols

@@ -0,0 +1,15 @@
+=== /a.ts ===
+export interface A {}
+>A : Symbol(A, Decl(a.ts, 0, 0))
+
+=== /b.ts ===
+import type { A } from "./a";
+>A : Symbol(A, Decl(b.ts, 0, 13))
+
+/**
+ * @param {number} a - see {@link A}
+ */
+export function foo(a: string) {}
+>foo : Symbol(foo, Decl(b.ts, 0, 29))
+>a : Symbol(a, Decl(b.ts, 5, 20))
+

tests/baselines/reference/jsdocLinkTag3.types

@@ -0,0 +1,14 @@
+=== /a.ts ===
+export interface A {}
+No type information for this code.
+No type information for this code.=== /b.ts ===
+import type { A } from "./a";
+>A : A
+
+/**
+ * @param {number} a - see {@link A}
+ */
+export function foo(a: string) {}
+>foo : (a: string) => void
+>a : string
+

tests/cases/conformance/jsdoc/jsdocLinkTag1.ts

@@ -0,0 +1,8 @@
+// @filename: /a.ts
+export interface A {}
+
+// @filename: /b.ts
+import type { A } from "./a";
+
+/** {@link A} */
+export interface B {}

tests/cases/conformance/jsdoc/jsdocLinkTag2.ts

@@ -0,0 +1,14 @@
+// @target: esnext
+// @allowJs: true
+// @checkJs: true
+// @noEmit: true
+
+// @filename: /a.js
+export class A {}
+
+// @filename: /b.js
+import { A } from "./a";
+
+/** {@link A} */
+export class B {}
+

tests/cases/conformance/jsdoc/jsdocLinkTag3.ts

@@ -0,0 +1,10 @@
+// @filename: /a.ts
+export interface A {}
+
+// @filename: /b.ts
+import type { A } from "./a";
+
+/**
+ * @param {number} a - see {@link A}
+ */
+export function foo(a: string) {}