zod/src/v4/classic/tests/firstparty.test.ts

TypeScript-first schema declaration and validation library with static type inference

import { expectTypeOf, test } from "vitest";
import * as z from "zod/v4";
import type * as core from "zod/v4/core";

test("first party switch", () => {
  const myType = z.string() as core.$ZodTypes;
  const def = myType._zod.def;
  switch (def.type) {
    case "string":
      break;
    case "number":
      break;
    case "bigint":
      break;
    case "boolean":
      break;
    case "date":
      break;
    case "symbol":
      break;
    case "undefined":
      break;
    case "null":
      break;
    case "any":
      break;
    case "unknown":
      break;
    case "never":
      break;
    case "void":
      break;
    case "array":
      break;
    case "object":
      break;
    case "union":
      break;
    case "intersection":
      break;
    case "tuple":
      break;
    case "record":
      break;
    case "map":
      break;
    case "set":
      break;
    case "literal":
      break;
    case "enum":
      break;
    case "promise":
      break;
    case "optional":
      break;
    case "nonoptional":
      break;
    case "nullable":
      break;
    case "default":
      break;
    case "prefault":
      break;
    case "template_literal":
      break;
    case "custom":
      break;
    case "transform":
      break;
    case "readonly":
      break;
    case "nan":
      break;
    case "pipe":
      break;
    case "success":
      break;
    case "catch":
      break;
    case "file":
      break;
    case "lazy":
      break;
    default:
      expectTypeOf(def).toEqualTypeOf<never>();
  }
});

test("$ZodSchemaTypes", () => {
  const type = "string" as core.$ZodTypeDef["type"];
  switch (type) {
    case "string":
      break;
    case "number":
      break;
    case "int":
      break;
    case "bigint":
      break;
    case "boolean":
      break;
    case "date":
      break;
    case "symbol":
      break;
    case "undefined":
      break;
    case "null":
      break;
    case "any":
      break;
    case "unknown":
      break;
    case "never":
      break;
    case "void":
      break;
    case "array":
      break;
    case "object":
      break;
    case "union":
      break;
    case "intersection":
      break;
    case "tuple":
      break;
    case "record":
      break;
    case "map":
      break;
    case "set":
      break;
    case "literal":
      break;
    case "enum":
      break;
    case "promise":
      break;
    case "optional":
      break;
    case "nonoptional":
      break;
    case "nullable":
      break;
    case "default":
      break;
    case "prefault":
      break;
    case "template_literal":
      break;
    case "custom":
      break;
    case "transform":
      break;
    case "readonly":
      break;
    case "nan":
      break;
    case "pipe":
      break;
    case "success":
      break;
    case "catch":
      break;
    case "file":
      break;
    case "lazy":
      break;

    default:
      expectTypeOf(type).toEqualTypeOf<never>();
  }
});