feat: satisfies support

factory/parser.ts

@@ -58,6 +58,7 @@ import { UnknownTypeNodeParser } from "../src/NodeParser/UnknownTypeNodeParser";
 import { VoidTypeNodeParser } from "../src/NodeParser/VoidTypeNodeParser";
 import { SubNodeParser } from "../src/SubNodeParser";
 import { TopRefNodeParser } from "../src/TopRefNodeParser";
+import { SatisfiesNodeParser } from "../src/NodeParser/SatisfiesNodeParser";
 
 export type ParserAugmentor = (parser: MutableParser) => void;
 
@@ -104,6 +105,7 @@ export function createParser(program: ts.Program, config: Config, augmentor?: Pa
         .addNodeParser(new NeverTypeNodeParser())
         .addNodeParser(new ObjectTypeNodeParser())
         .addNodeParser(new AsExpressionNodeParser(chainNodeParser))
+        .addNodeParser(new SatisfiesNodeParser(chainNodeParser))
         .addNodeParser(new FunctionParser(chainNodeParser))
         .addNodeParser(withJsDoc(new ParameterParser(chainNodeParser)))
         .addNodeParser(new StringLiteralNodeParser())

src/NodeParser/SatisfiesNodeParser.ts

@@ -0,0 +1,15 @@
+import ts from "typescript";
+import { Context, NodeParser } from "../NodeParser";
+import { SubNodeParser } from "../SubNodeParser";
+import { BaseType } from "../Type/BaseType";
+
+export class SatisfiesNodeParser implements SubNodeParser {
+    public constructor(protected childNodeParser: NodeParser) {}
+
+    public supportsNode(node: ts.SatisfiesExpression): boolean {
+        return node.kind === ts.SyntaxKind.SatisfiesExpression;
+    }
+    public createType(node: ts.SatisfiesExpression, context: Context): BaseType {
+        return this.childNodeParser.createType(node.expression, context);
+    }
+}

test/valid-data-type.test.ts

@@ -137,5 +137,7 @@ describe("valid-data-type", () => {
     it("type-tuple-nested-rest-uniform", assertValidSchema("type-tuple-nested-rest-uniform", "MyType"));
 
     it("type-recursive-deep-exclude", assertValidSchema("type-recursive-deep-exclude", "MyType"));
+    it("type-satisfies", assertValidSchema("type-satisfies", "MyType"));
+
     it("ignore-export", assertValidSchema("ignore-export", "*"));
 });

test/valid-data/type-satisfies/main.ts

@@ -0,0 +1,2 @@
+const record = { x: "hello", y: "goodbye" } satisfies Record<string, string>;
+export type MyType = keyof typeof record;

test/valid-data/type-satisfies/schema.json

@@ -0,0 +1,13 @@
+{
+  "$ref": "#/definitions/MyType",
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "definitions": {
+    "MyType": {
+      "enum": [
+        "x",
+        "y"
+      ],
+      "type": "string"
+    }
+  }
+}