Return Type<int> in types::intMask() due to possibly overflowing …

…bitmasks
typhoon-php · Aug 5, 2024 · 2b5f6e6 · 2b5f6e6
1 parent a27f873
commit 2b5f6e6
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/src/Type/CHANGELOG.md b/src/Type/CHANGELOG.md
@@ -10,6 +10,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Changed
 
 - Drop needless `$type` parameter PHPDoc types in `TypeVisitor`.
+- Return `Type<int>` in `types::intMask()` due to possibly overflowing bitmasks.
 
 ## [0.4.1] 2024-08-05
 

diff --git a/src/Type/Internal/IntMaskType.php b/src/Type/Internal/IntMaskType.php
@@ -10,7 +10,7 @@
 /**
  * @internal
  * @psalm-internal Typhoon\Type
- * @implements Type<positive-int>
+ * @implements Type<int>
  */
 final class IntMaskType implements Type
 {

diff --git a/src/Type/types.php b/src/Type/types.php
@@ -89,7 +89,7 @@ public static function intRange(int|Type $min = self::PHP_INT_MIN, int|Type $max
      * @no-named-arguments
      * @param positive-int $value
      * @param positive-int ...$values
-     * @return Type<positive-int>
+     * @return Type<int>
      */
     public static function intMask(int $value, int ...$values): Type
     {