Make int limits nullable

Author: vudaltsov

generator/spec.php

@@ -29,7 +29,7 @@
     // int
     single('int', 'int', 'intRange()'),
     constr('intValue', 'T', [tpl('T', 'int')], [prop('value', 'T', nativeType: 'int')], 'intRange($value, $value)'),
-    constr('intRange', 'T', [tpl('T', 'int')], [prop('min', 'int', 'PHP_INT_MIN'), prop('max', 'int', 'PHP_INT_MAX')]),
+    constr('intRange', 'T', [tpl('T', 'int')], [prop('min', '?int'), prop('max', '?int')]),
     single('negativeInt', 'negative-int', 'intRange(max: -1)'),
     single('nonPositiveInt', 'non-positive-int', 'intRange(max: 0)'),
     single('nonZeroInt', 'non-zero-int', 'union([negativeInt, positiveInt])'),

src/Type/IntRangeT.php

@@ -19,8 +19,8 @@
 final readonly class IntRangeT implements Type
 {
     public function __construct(
-        public int $min = PHP_INT_MIN,
-        public int $max = PHP_INT_MAX,
+        public ?int $min = null,
+        public ?int $max = null,
     ) {}
 
     #[\Override]

src/Type/Visitor/Stringify.php

@@ -149,11 +149,7 @@ public function intValueT(IntValueT $type): string
     #[\Override]
     public function intRangeT(IntRangeT $type): string
     {
-        return \sprintf(
-            'int<%s, %s>',
-            $type->min === PHP_INT_MIN ? 'min' : $type->min,
-            $type->max === PHP_INT_MAX ? 'max' : $type->max,
-        );
+        return \sprintf('int<%s, %s>', $type->min ?? 'min', $type->max ?? 'max');
     }
 
     #[\Override]

src/Type/Visitor/WeakVisitor.php

@@ -17,7 +17,7 @@ final class WeakVisitor extends Fallback
     /**
      * @var \WeakReference<Visitor<TResult>>
      */
-    private \WeakReference $visitor;
+    private readonly \WeakReference $visitor;
 
     /**
      * @param Visitor<TResult> $visitor

src/Type/constructors.php

@@ -42,7 +42,7 @@ function intT(int $value): IntValueT
  * @api
  * @return IntRangeT<int>
  */
-function intRangeT(int $min = PHP_INT_MIN, int $max = PHP_INT_MAX): IntRangeT
+function intRangeT(?int $min = null, ?int $max = null): IntRangeT
 {
     return new IntRangeT($min, $max);
 }