Fix semantic error types

Author: Kirill Nesmeyanov

src/Exception/SemanticException.php

@@ -38,6 +38,7 @@ public function getOffset(): int
 
     /**
      * @param non-empty-string $key
+     * @param int<0, max> $offset
      *
      * @return static
      */
@@ -49,6 +50,8 @@ public static function fromShapeFieldDuplication(string $key, int $offset = 0):
     }
 
     /**
+     * @param int<0, max> $offset
+     *
      * @return static
      */
     public static function fromShapeMixedKeys(int $offset = 0): self
@@ -59,6 +62,8 @@ public static function fromShapeMixedKeys(int $offset = 0): self
     }
 
     /**
+     * @param int<0, max> $offset
+     *
      * @return static
      */
     public static function fromVariadicWithDefault(int $offset = 0): self
@@ -70,6 +75,7 @@ public static function fromVariadicWithDefault(int $offset = 0): self
 
     /**
      * @param non-empty-string $operator
+     * @param int<0, max> $offset
      *
      * @return static
      */