narrow AnyType to StringType in mapped types (#2412)

Author: srsudar

src/NodeParser/MappedTypeNodeParser.ts

@@ -4,6 +4,7 @@ import type { NodeParser } from "../NodeParser.js";
 import { Context } from "../NodeParser.js";
 import type { SubNodeParser } from "../SubNodeParser.js";
 import { AnnotatedType } from "../Type/AnnotatedType.js";
+import { AnyType } from "../Type/AnyType.js";
 import { ArrayType } from "../Type/ArrayType.js";
 import type { BaseType } from "../Type/BaseType.js";
 import { DefinitionType } from "../Type/DefinitionType.js";
@@ -64,7 +65,8 @@ export class MappedTypeNodeParser implements SubNodeParser {
         if (
             keyListType instanceof StringType ||
             keyListType instanceof NumberType ||
-            keyListType instanceof SymbolType
+            keyListType instanceof SymbolType ||
+            keyListType instanceof AnyType
         ) {
             // Key type widens to `string`
             const type = this.childNodeParser.createType(node.type!, this.createSubContext(node, keyListType, context));

test/valid-data/type-mapped-any/index.test.ts

@@ -0,0 +1,4 @@
+import { assertValidSchema } from "../../utils";
+import { test } from "node:test";
+
+test("type-mapped-any", assertValidSchema("type-mapped-any", "MyObject"));

test/valid-data/type-mapped-any/main.ts

@@ -0,0 +1 @@
+export type MyObject = Record<any, string>;

test/valid-data/type-mapped-any/schema.json

@@ -0,0 +1,12 @@
+{
+  "$ref": "#/definitions/MyObject",
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "definitions": {
+    "MyObject": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "type": "object"
+    }
+  }
+}

test/valid-data/type-mapped-template-literal/index.test.ts

@@ -0,0 +1,4 @@
+import { assertValidSchema } from "../../utils";
+import { test } from "node:test";
+
+test("type-mapped-template-literal", assertValidSchema("type-mapped-template-literal", "MyObject"));

test/valid-data/type-mapped-template-literal/main.ts

@@ -0,0 +1,3 @@
+type AorB = "A" | "B";
+
+export type MyObject = Record<`letter-${AorB}`, string>;

test/valid-data/type-mapped-template-literal/schema.json

@@ -0,0 +1,22 @@
+{
+  "$ref": "#/definitions/MyObject",
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "definitions": {
+    "MyObject": {
+      "additionalProperties": false,
+      "properties": {
+        "letter-A": {
+          "type": "string"
+        },
+        "letter-B": {
+          "type": "string"
+        }
+      },
+      "required": [
+        "letter-A",
+        "letter-B"
+      ],
+      "type": "object"
+    }
+  }
+}