Array-level errors weren't typed correctly when changing the cardinality of an array schema field.

Author: ciscoheat

CHANGELOG.md

@@ -5,6 +5,12 @@ Headlines: Added, Changed, Deprecated, Removed, Fixed, Security
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [Unreleased]
+
+### Fixed
+
+- Array-level errors weren't typed correctly when changing the cardinality of an array field in the schema (for example with `nonempty`).
+
 ## [1.5.2] - 2023-08-15
 
 ### Fixed

src/lib/index.ts

@@ -62,7 +62,13 @@ type SuperStructArray<T extends AnyZodObject, Data, ArrayData = unknown> = {
       ? SuperStructArray<IntersectUnion<UnwrappedEntity<T>>, Data, ArrayData>
       : UnwrappedRawShape<T, Property> extends AnyZodObject
       ? SuperStructArray<UnwrappedRawShape<T, Property>, Data, ArrayData>
-      : UnwrappedRawShape<T, Property> extends ZodArray<infer A>
+      : UnwrappedRawShape<T, Property> extends ZodArray<
+          infer A,
+          // Need to infer Cardinality for extend to work correctly, even though it's unused.
+          // (nonempty changes the cardinality of arrays in the schema)
+          // eslint-disable-next-line @typescript-eslint/no-unused-vars
+          infer Cardinality
+        >
       ? ArrayData &
           Record<
             number,