Fix classic pipe compatibility for branded outputs

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

@@ -179,6 +179,10 @@ export interface ZodType<
   pipe<T extends core.$ZodType<any, core.output<this>>>(
     target: T | core.$ZodType<any, core.output<this>>
   ): ZodPipe<this, T>;
+  pipe<const T extends core.SomeType>(
+    target: T,
+    ...rest: core.output<this> extends core.input<T> ? [] : ["Incompatible pipe target"]
+  ): ZodPipe<this, T>;
   readonly(): ZodReadonly<this>;
 
   /** Returns a new instance that has been registered in `z.globalRegistry` with the specified description */
@@ -326,7 +330,7 @@ export const ZodType: core.$constructor<ZodType> = /*@__PURE__*/ core.$construct
       return _catch(this, params);
     },
     pipe(target) {
-      return pipe(this, target);
+      return pipe(this, target as core.$ZodType);
     },
     readonly() {
       return readonly(this);

packages/zod/src/v4/classic/tests/pipe.test.ts

@@ -15,6 +15,29 @@ test("string to number pipe async", async () => {
   expect(await schema.parseAsync("1234")).toEqual(1234);
 });
 
+test("pipe preserves contextual typing and compatibility checks", () => {
+  z.string().pipe(z.transform((val) => val.toUpperCase()));
+
+  // @ts-expect-error incompatible pipe targets are still rejected
+  z.string().pipe(z.number());
+});
+
+test("pipe accepts branded output into unbranded input", () => {
+  const zodBrand = z.string().brand<"myBrand">();
+  const inputSchema = z.object({
+    a: z.number(),
+    c: zodBrand,
+  });
+  const validateSchema = z.object({
+    a: z.number(),
+    c: zodBrand,
+  });
+
+  inputSchema.transform((input) => input).pipe(validateSchema);
+  inputSchema.pipe(validateSchema);
+  inputSchema.pipe(inputSchema);
+});
+
 test("string with default fallback", () => {
   const stringWithDefault = z
     .pipe(