AdditionalItems Inference Optimization

Author: sinclairzx81

src/schema/static/_elements.ts

@@ -61,8 +61,11 @@ type XWithMaxItems<Schema extends XSchema, Elements extends unknown[],
 // 3. XNeedsAdditionalItems - Does MaxItems constrain all Elements?
 // ------------------------------------------------------------------
 type XNeedsAdditionalItems<Schema extends XSchema, Elements extends unknown[],
-  MaxItems extends number | null = Schema extends XMaxItems<infer MaxItems extends number> ? MaxItems : null,
-  Result extends boolean = MaxItems extends number ? XLessThan<Elements['length'], MaxItems> : true
+  Result extends boolean = (
+    Schema extends XMaxItems<infer MaxItems extends number> 
+      ? XLessThan<Elements['length'], MaxItems> 
+      : true
+  )
 > = Result
 // ------------------------------------------------------------------
 // 4. XWithMinItems - Optional Indices > MinItems
@@ -99,4 +102,5 @@ export type XStaticElements<Stack extends string[], Root extends XSchema, Schema
   WithAdditionalItems extends unknown[] = NeedsAdditional extends true 
     ? XWithAdditionalItems<Stack, Root, Schema, WithMinItems>
     : WithMinItems
-> = WithAdditionalItems
+> = WithAdditionalItems
+