Added new tests for covariance on the output and contravariance on th…

…e input
colinhacks · Oct 12, 2024 · 304c024 · 304c024
1 parent f9ca8b0
commit 304c024
Show file tree

Hide file tree

Showing 2 changed files with 29 additions and 0 deletions.
diff --git a/deno/lib/__tests__/type.test.ts b/deno/lib/__tests__/type.test.ts
@@ -6,9 +6,17 @@ import * as z from "../index.ts";
 test("ZodType is covariant with the output", () => {
   function f<S extends z.ZodType<string, any, any>>(_: S) {}
   f(z.literal("a"));
+
+  function g<S extends z.ZodType<"a", any, any>>(_: S) {}
+  // @ts-expect-error
+  g(z.string());
 });
 
 test("ZodType is contravariant with the input", () => {
   function f<S extends z.ZodType<any, any, "a">>(_: S) {}
   f(z.string());
+
+  function g<S extends z.ZodType<any, any, string>>(_: S) {}
+  // @ts-expect-error
+  g(z.literal("a"));
 });
diff --git a/src/__tests__/type.test.ts b/src/__tests__/type.test.ts
@@ -0,0 +1,21 @@
+import { test } from "@jest/globals";
+
+import * as z from "../index";
+
+test("ZodType is covariant with the output", () => {
+  function f<S extends z.ZodType<string, any, any>>(_: S) {}
+  f(z.literal("a"));
+
+  function g<S extends z.ZodType<"a", any, any>>(_: S) {}
+  // @ts-expect-error
+  g(z.string());
+});
+
+test("ZodType is contravariant with the input", () => {
+  function f<S extends z.ZodType<any, any, "a">>(_: S) {}
+  f(z.string());
+
+  function g<S extends z.ZodType<any, any, string>>(_: S) {}
+  // @ts-expect-error
+  g(z.literal("a"));
+});