JSDoc string literal types

src/compiler/checker.ts

@@ -5326,6 +5326,8 @@ namespace ts {
                     return getTypeFromThisTypeNode(node);
                 case SyntaxKind.StringLiteralType:
                     return getTypeFromStringLiteralTypeNode(<StringLiteralTypeNode>node);
+                case SyntaxKind.JSDocStringLiteralType:
+                    return getTypeFromStringLiteralTypeNode((<JSDocStringLiteralType>node).stringLiteral);
                 case SyntaxKind.TypeReference:
                 case SyntaxKind.JSDocTypeReference:
                     return getTypeFromTypeReference(<TypeReferenceNode>node);

src/compiler/parser.ts

@@ -5860,9 +5860,10 @@ namespace ts {
                     case SyntaxKind.SymbolKeyword:
                     case SyntaxKind.VoidKeyword:
                         return parseTokenNode<JSDocType>();
+                    case SyntaxKind.StringLiteral:
+                        return parseJSDocStringLiteralType();
                 }
 
-                // TODO (drosen): Parse string literal types in JSDoc as well.
                 return parseJSDocTypeReference();
             }
 
@@ -6041,6 +6042,12 @@ namespace ts {
                 return finishNode(result);
             }
 
+            function parseJSDocStringLiteralType(): JSDocStringLiteralType {
+                const result = <JSDocStringLiteralType>createNode(SyntaxKind.JSDocStringLiteralType);
+                result.stringLiteral = parseStringLiteralTypeNode();
+                return finishNode(result);
+            }
+
             function parseJSDocUnknownOrNullableType(): JSDocUnknownType | JSDocNullableType {
                 const pos = scanner.getStartPos();
                 // skip the ?

src/compiler/types.ts

@@ -346,6 +346,7 @@ namespace ts {
         JSDocTypedefTag,
         JSDocPropertyTag,
         JSDocTypeLiteral,
+        JSDocStringLiteralType,
 
         // Synthesized list
         SyntaxList,
@@ -1491,6 +1492,10 @@ namespace ts {
         type: JSDocType;
     }
 
+    export interface JSDocStringLiteralType extends JSDocType {
+        stringLiteral: StringLiteralTypeNode;
+    }
+
     export type JSDocTypeReferencingNode = JSDocThisType | JSDocConstructorType | JSDocVariadicType | JSDocOptionalType | JSDocNullableType | JSDocNonNullableType;
 
     // @kind(SyntaxKind.JSDocRecordMember)

tests/baselines/reference/jsdocStringLiteral.js

@@ -0,0 +1,22 @@
+//// [in.js]
+/**
+ * @param {'literal'} p1
+ * @param {"literal"} p2
+ * @param {'literal' | 'other'} p3
+ * @param {'literal' | number} p4
+ */
+function f(p1, p2, p3, p4) {
+    return p1 + p2 + p3 + p4 + '.';
+}
+
+
+//// [out.js]
+/**
+ * @param {'literal'} p1
+ * @param {"literal"} p2
+ * @param {'literal' | 'other'} p3
+ * @param {'literal' | number} p4
+ */
+function f(p1, p2, p3, p4) {
+    return p1 + p2 + p3 + p4 + '.';
+}

tests/baselines/reference/jsdocStringLiteral.symbols

@@ -0,0 +1,21 @@
+=== tests/cases/conformance/jsdoc/in.js ===
+/**
+ * @param {'literal'} p1
+ * @param {"literal"} p2
+ * @param {'literal' | 'other'} p3
+ * @param {'literal' | number} p4
+ */
+function f(p1, p2, p3, p4) {
+>f : Symbol(f, Decl(in.js, 0, 0))
+>p1 : Symbol(p1, Decl(in.js, 6, 11))
+>p2 : Symbol(p2, Decl(in.js, 6, 14))
+>p3 : Symbol(p3, Decl(in.js, 6, 18))
+>p4 : Symbol(p4, Decl(in.js, 6, 22))
+
+    return p1 + p2 + p3 + p4 + '.';
+>p1 : Symbol(p1, Decl(in.js, 6, 11))
+>p2 : Symbol(p2, Decl(in.js, 6, 14))
+>p3 : Symbol(p3, Decl(in.js, 6, 18))
+>p4 : Symbol(p4, Decl(in.js, 6, 22))
+}
+

tests/baselines/reference/jsdocStringLiteral.types

@@ -0,0 +1,26 @@
+=== tests/cases/conformance/jsdoc/in.js ===
+/**
+ * @param {'literal'} p1
+ * @param {"literal"} p2
+ * @param {'literal' | 'other'} p3
+ * @param {'literal' | number} p4
+ */
+function f(p1, p2, p3, p4) {
+>f : (p1: "literal", p2: "literal", p3: "literal" | "other", p4: "literal" | number) => string
+>p1 : "literal"
+>p2 : "literal"
+>p3 : "literal" | "other"
+>p4 : "literal" | number
+
+    return p1 + p2 + p3 + p4 + '.';
+>p1 + p2 + p3 + p4 + '.' : string
+>p1 + p2 + p3 + p4 : string
+>p1 + p2 + p3 : string
+>p1 + p2 : string
+>p1 : "literal"
+>p2 : "literal"
+>p3 : "literal" | "other"
+>p4 : "literal" | number
+>'.' : string
+}
+

tests/cases/conformance/jsdoc/jsdocStringLiteral.ts

@@ -0,0 +1,12 @@
+// @allowJs: true
+// @filename: in.js
+// @out: out.js
+/**
+ * @param {'literal'} p1
+ * @param {"literal"} p2
+ * @param {'literal' | 'other'} p3
+ * @param {'literal' | number} p4
+ */
+function f(p1, p2, p3, p4) {
+    return p1 + p2 + p3 + p4 + '.';
+}