fix: surface @deprecated on re-exported compat aliases (#6072)

* fix: surface @deprecated on re-exported compat aliases

JSDoc `@deprecated` placed on `export { X as Y }` / `export type { X as Y }`
specifiers is dropped when the alias is re-exported again, so IDEs never
flagged `ZodTypeAny`, `ZodSchema`, `Schema`, `TypeOf`, `Infer`,
`ZodFirstPartySchemaTypes`, `ZodFlattenedError`, `ZodFormattedError`,
`ZodErrorMap`, `_max` or `_min` as deprecated. Declare each as a standalone
aliased declaration (matching inferFlattenedErrors/BRAND) so the tag
propagates to the emitted types.

* fix(v4): keep the deprecated ZodType aliases generic

`ZodTypeAny`, `ZodSchema` and `Schema` were re-exports of `ZodType`, so they
inherited its three defaulted type parameters. Redeclaring them as
`export type ZodSchema = ZodType` surfaces the `@deprecated` tag but collapses
them to zero arity, so `z.ZodSchema<string>` — the Zod 3 idiom this compat
layer exists to serve — stops compiling with TS2315. Restate the parameters
and forward them.

Also revert the `core/api.ts` hunk. `_max` and `_min` are value re-exports,
and TypeScript already reports their deprecation through the alias; only
type-only export specifiers drop the tag. The change traded a hoisted
function re-export for a TDZ-bound const and fixed nothing.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

---------

Co-authored-by: Colin McDonnell <3084745+colinhacks@users.noreply.github.com>
Co-authored-by: Claude Opus 5 <noreply@anthropic.com>

Author: 3 people

packages/zod/src/v4/classic/compat.ts

@@ -3,14 +3,12 @@
 import * as core from "../core/index.js";
 import type { ZodType } from "./schemas.js";
 
-export type {
-  /** @deprecated Use `z.output<T>` instead. */
-  output as TypeOf,
-  /** @deprecated Use `z.output<T>` instead. */
-  output as Infer,
-  /** @deprecated Use `z.core.$$ZodFirstPartyTypes` instead */
-  $ZodTypes as ZodFirstPartySchemaTypes,
-} from "../core/index.js";
+/** @deprecated Use `z.output<T>` instead. */
+export type TypeOf<T> = core.output<T>;
+/** @deprecated Use `z.output<T>` instead. */
+export type Infer<T> = core.output<T>;
+/** @deprecated Use `z.core.$$ZodFirstPartyTypes` instead */
+export type ZodFirstPartySchemaTypes = core.$ZodTypes;
 
 /** @deprecated Use the raw string literal codes instead, e.g. "invalid_type". */
 export const ZodIssueCode = {
@@ -54,14 +52,24 @@ export function getErrorMap(): core.$ZodErrorMap<core.$ZodIssue> | undefined {
   return core.config().customError;
 }
 
-export type {
-  /** @deprecated Use z.ZodType (without generics) instead. */
-  ZodType as ZodTypeAny,
-  /** @deprecated Use `z.ZodType` */
-  ZodType as ZodSchema,
-  /** @deprecated Use `z.ZodType` */
-  ZodType as Schema,
-};
+/** @deprecated Use z.ZodType (without generics) instead. */
+export type ZodTypeAny<
+  Output = unknown,
+  Input = unknown,
+  Internals extends core.$ZodTypeInternals<Output, Input> = core.$ZodTypeInternals<Output, Input>,
+> = ZodType<Output, Input, Internals>;
+/** @deprecated Use `z.ZodType` */
+export type ZodSchema<
+  Output = unknown,
+  Input = unknown,
+  Internals extends core.$ZodTypeInternals<Output, Input> = core.$ZodTypeInternals<Output, Input>,
+> = ZodType<Output, Input, Internals>;
+/** @deprecated Use `z.ZodType` */
+export type Schema<
+  Output = unknown,
+  Input = unknown,
+  Internals extends core.$ZodTypeInternals<Output, Input> = core.$ZodTypeInternals<Output, Input>,
+> = ZodType<Output, Input, Internals>;
 
 /** Included for Zod 3 compatibility */
 export type ZodRawShape = core.$ZodShape;

packages/zod/src/v4/classic/errors.ts

@@ -78,14 +78,12 @@ export const ZodRealError: core.$constructor<ZodError> = /*@__PURE__*/ core.$con
   Parent: Error,
 });
 
-export type {
-  /** @deprecated Use `z.core.$ZodFlattenedError` instead. */
-  $ZodFlattenedError as ZodFlattenedError,
-  /** @deprecated Use `z.core.$ZodFormattedError` instead. */
-  $ZodFormattedError as ZodFormattedError,
-  /** @deprecated Use `z.core.$ZodErrorMap` instead. */
-  $ZodErrorMap as ZodErrorMap,
-} from "../core/index.js";
+/** @deprecated Use `z.core.$ZodFlattenedError` instead. */
+export type ZodFlattenedError<T, U = string> = core.$ZodFlattenedError<T, U>;
+/** @deprecated Use `z.core.$ZodFormattedError` instead. */
+export type ZodFormattedError<T, U = string> = core.$ZodFormattedError<T, U>;
+/** @deprecated Use `z.core.$ZodErrorMap` instead. */
+export type ZodErrorMap<T extends core.$ZodIssueBase = core.$ZodIssue> = core.$ZodErrorMap<T>;
 
 /** @deprecated Use `z.core.$ZodRawIssue` instead. */
 export type IssueData = core.$ZodRawIssue;