Fix tests

Author: Kirill Nesmeyanov

src/Type/ArrayKeyType.php

@@ -45,13 +45,16 @@ public function cast(mixed $value, Context $context): string|int
 
         if (\is_float($value)) {
             try {
+                /** @var int */
                 return $this->int->cast($value, $context);
             } catch (ValueExceptionInterface) {
+                /** @var string */
                 return $this->string->cast($value, $context);
             }
         }
 
         if (!$context->isStrictTypesEnabled()) {
+            /** @var string */
             return $this->string->cast($value, $context);
         }
 

src/Type/IntType.php

@@ -11,32 +11,13 @@ class IntType implements TypeInterface
 {
     public function match(mixed $value, Context $context): bool
     {
-        return \is_int($value)
-            // Assert for unary minus operation that overflows min int value.
-            //
-            // This is what happens:
-            // 1) 9223372036854775808 is parsed by the PHP and converted
-            //    to float(9.2233720368548E+18) on overflow.
-            // 2) The unary minus ("-") operator is applied to the
-            //    float(9.2233720368548E+18), yielding float(-9.2233720368548E+18)
-            //    as the output.
-            //
-            // The set of specified operations compares negative floats
-            // (after the operations performed) with the input float value.
-            //
-            // @phpstan-ignore-next-line : Support for PHP x86 implicit int conversion
-            || $value === -2147483648
-            // @phpstan-ignore-next-line : Support for PHP x64 implicit int conversion
-            || $value === -9223372036854775808;
+        return \is_int($value);
     }
 
     public function cast(mixed $value, Context $context): int
     {
         return match (true) {
             \is_int($value) => $value,
-            // @phpstan-ignore-next-line : In case of PHP x86 the value will be casted to float
-            $value === -2147483648,
-            $value === -9223372036854775808 => \PHP_INT_MIN,
             !$context->isStrictTypesEnabled() => $this->convertToInt($value, $context),
             default => throw InvalidValueException::createFromContext(
                 value: $value,

tests/Feature/Type/int.feature

@@ -11,8 +11,10 @@ Feature: Checking the "int" (TypeLang\Mapper\Type\IntType) type behavior
         Examples:
             | value                                                 | is_matched |
             | 9223372036854775807                                   | true       |
+            | -9223372036854775807                                  | true       |
             | -9223372036854775807-1                                | true       |
-            | -9223372036854775808                                  | true       |
+            | -9223372036854775808                                  | false      |
+            | -9223372036854775809                                  | false      |
             | 1                                                     | true       |
             | 0                                                     | true       |
             | -1                                                    | true       |
@@ -50,8 +52,10 @@ Feature: Checking the "int" (TypeLang\Mapper\Type\IntType) type behavior
         Examples:
             | value                                                 | result                                                             |
             | 9223372036854775807                                   | 9223372036854775807                                                |
+            | -9223372036854775807                                  | -9223372036854775807                                               |
             | -9223372036854775807-1                                | -9223372036854775807-1                                             |
             | -9223372036854775808                                  | -9223372036854775807-1                                             |
+            | -9223372036854775809                                  | -9223372036854775807-1                                             |
             | 1                                                     | 1                                                                  |
             | 0                                                     | 0                                                                  |
             | -1                                                    | -1                                                                 |
@@ -93,8 +97,10 @@ Feature: Checking the "int" (TypeLang\Mapper\Type\IntType) type behavior
         Examples:
             | value                                                 | result                                                                 |
             | 9223372036854775807                                   | 9223372036854775807                                                    |
+            | -9223372036854775807                                  | -9223372036854775807                                                   |
             | -9223372036854775807-1                                | -9223372036854775807-1                                                 |
-            | -9223372036854775808                                  | -9223372036854775807-1                                                 |
+            | -9223372036854775808                                  | <error: Passed value -9.2233720368548E+18 is invalid>                  |
+            | -9223372036854775809                                  | <error: Passed value -9.2233720368548E+18 is invalid>                  |
             | 1                                                     | 1                                                                      |
             | 0                                                     | 0                                                                      |
             | -1                                                    | -1                                                                     |