Bind object type literals in JSDoc

src/compiler/binder.ts

@@ -2456,13 +2456,23 @@ namespace ts {
                 }
                 else {
                     for (const j of node.jsDoc!) {
-                        setParent(j, node);
-                        setParentRecursive(j, /*incremental*/ false);
+                        setParentsAndBindAnonymousJSDocTypes(j);
                     }
                 }
             }
         }
 
+        function setParentsAndBindAnonymousJSDocTypes(node: Node) {
+            setParent(node, parent);
+            const saveParent = parent;
+            parent = node;
+            if (node.kind === SyntaxKind.TypeLiteral) {
+                bindWorker(node);
+            }
+            forEachChild(node, setParentsAndBindAnonymousJSDocTypes);
+            parent = saveParent;
+        }
+
         function updateStrictModeStatementList(statements: NodeArray<Statement>) {
             if (!inStrictMode) {
                 for (const statement of statements) {

src/services/utilities.ts

@@ -790,8 +790,6 @@ namespace ts {
     }
 
     export function getContextualTypeFromParentOrAncestorTypeNode(node: Expression, checker: TypeChecker): Type | undefined {
-        if (node.flags & (NodeFlags.JSDoc & ~NodeFlags.JavaScriptFile)) return undefined;
-
         const contextualType = getContextualTypeFromParent(node, checker);
         if (contextualType) return contextualType;
 

tests/baselines/reference/findAllRefsForStringLiteral2.baseline.jsonc

@@ -0,0 +1,47 @@
+// === /a.ts ===
+// /**
+//  * @type {"[|foo|]" | "bar"}
+//  */
+// let x = "[|foo|]"/*FIND ALL REFS*/
+
+[
+  {
+    "definition": {
+      "containerKind": "",
+      "containerName": "",
+      "fileName": "/a.ts",
+      "kind": "var",
+      "name": "foo",
+      "textSpan": {
+        "start": 42,
+        "length": 3
+      },
+      "displayParts": [
+        {
+          "text": "\"foo\"",
+          "kind": "stringLiteral"
+        }
+      ]
+    },
+    "references": [
+      {
+        "textSpan": {
+          "start": 15,
+          "length": 3
+        },
+        "fileName": "/a.ts",
+        "isWriteAccess": false,
+        "isInString": true
+      },
+      {
+        "textSpan": {
+          "start": 42,
+          "length": 3
+        },
+        "fileName": "/a.ts",
+        "isWriteAccess": false,
+        "isInString": true
+      }
+    ]
+  }
+]

tests/cases/fourslash/completionsAtJsDoc.ts

@@ -0,0 +1,15 @@
+/// <reference path="fourslash.ts" />
+
+////interface Foo<T> { }
+/////**
+//// * @type {Foo<{/**/}>}
+//// */
+
+verify.completions({
+    marker: "",
+    exact: {
+        name: "readonly",
+        sortText: completion.SortText.GlobalsOrKeywords
+    },
+    isNewIdentifierLocation: true,
+});

tests/cases/fourslash/findAllRefsForStringLiteral2.ts

@@ -0,0 +1,9 @@
+/// <reference path="fourslash.ts" />
+
+// @filename: /a.ts
+/////**
+//// * @type {"foo" | "bar"}
+//// */
+////let x = "foo"/**/
+
+verify.baselineFindAllReferences("");