Optimize MaxItems Inference

Author: sinclairzx81

src/schema/static/_elements.ts

@@ -54,8 +54,9 @@ type XWithMaxItemsRemap<Elements extends unknown[], MaxItems extends number, Res
   : Result
 )
 type XWithMaxItems<Schema extends XSchema, Elements extends unknown[],
-  MaxItems extends number | null = Schema extends XMaxItems<infer MaxItems extends number> ? MaxItems : null,
-  Result extends unknown[] = MaxItems extends number ? XWithMaxItemsRemap<Elements, MaxItems> : Elements
+  Result extends unknown[] = Schema extends XMaxItems<infer MaxItems extends number> 
+    ? XWithMaxItemsRemap<Elements, MaxItems> 
+    : Elements
 > = Result
 // ------------------------------------------------------------------
 // 3. XNeedsAdditionalItems - Does MaxItems constrain all Elements?

src/schema/static/required.ts

@@ -36,6 +36,8 @@ import type { XProperties } from '../types/properties.ts'
 // XStaticRequired
 // ------------------------------------------------------------------
 export type XStaticRequired<Stack extends string[], Root extends XSchema, Schema extends XSchema, Keys extends string[],
-  // note: We only produce an property set if 'required' is present without 'properties'
+  // Note: We only produce a property set if the Required keyword is isolated without Properties. This is because the
+  // Properties inference will handle Required in full, but where an isolated Required implies that the defined keys 
+  // are required but should accept anything (unknown).
   Result extends Record<PropertyKey, unknown> = Schema extends XProperties ? {} : Record<Keys[number], unknown>
 > = Result