From 2762d1fb4bcc5dcd868262ebaba65cf77a9568b8 Mon Sep 17 00:00:00 2001
From: MatthijsMud <MatthijsMud@users.noreply.github.com>
Date: Fri, 16 Feb 2024 12:38:00 +0100
Subject: [PATCH 1/2] Add `ZodSymbol` and `ZodReadonly` to 
 `ZodFirstPartySchemaTypes`

---
 src/types.ts | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/types.ts b/src/types.ts
index c60be474e..23e0196fa 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -4972,7 +4972,9 @@ export type ZodFirstPartySchemaTypes =
   | ZodCatch<any>
   | ZodPromise<any>
   | ZodBranded<any, any>
-  | ZodPipeline<any, any>;
+  | ZodPipeline<any, any>
+  | ZodReadonly<any>
+  | ZodSymbol;
 
 // requires TS 4.4+
 abstract class Class {

From d22f3422f81fad1d0c2819056827366717a7dad0 Mon Sep 17 00:00:00 2001
From: Matthijs <matthijsmud@gmail.com>
Date: Fri, 16 Feb 2024 13:53:45 +0100
Subject: [PATCH 2/2] Test `ZodFirstPartySchemaTypes` in sync with
 `ZodFirstPartyTypeKind`

---
 src/__tests__/firstpartyschematypes.test.ts | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 src/__tests__/firstpartyschematypes.test.ts

diff --git a/src/__tests__/firstpartyschematypes.test.ts b/src/__tests__/firstpartyschematypes.test.ts
new file mode 100644
index 000000000..5c4cf7a38
--- /dev/null
+++ b/src/__tests__/firstpartyschematypes.test.ts
@@ -0,0 +1,20 @@
+// @ts-ignore TS6133
+import { test } from "@jest/globals";
+import { util } from "../helpers/util";
+
+import { 
+  ZodFirstPartySchemaTypes,
+  ZodFirstPartyTypeKind,
+} from "..";
+
+test("Identify missing [ZodFirstPartySchemaTypes]", () => {
+  type ZodFirstPartySchemaForType<T extends ZodFirstPartyTypeKind> = ZodFirstPartySchemaTypes extends infer Schema
+    ? Schema extends { _def: { typeName: T } }
+      ? Schema
+      : never
+    : never;
+  type ZodMappedTypes = { [key in ZodFirstPartyTypeKind]: ZodFirstPartySchemaForType<key> };
+  type ZodFirstPartySchemaTypesMissingFromUnion = keyof { [key in keyof ZodMappedTypes as ZodMappedTypes[key] extends { _def: never } ? key : never]: unknown };
+
+  util.assertNever({} as ZodFirstPartySchemaTypesMissingFromUnion);
+});
\ No newline at end of file