BinaryStream: add PHPStan type hint for get() parameter

pmmp · Apr 10, 2023 · 22ac3f1 · 22ac3f1
1 parent fe68d3d
commit 22ac3f1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/BinaryStream.php b/src/BinaryStream.php
@@ -65,6 +65,8 @@ public function getBuffer() : string{
 	/**
 	 * @phpstan-impure
 	 * @throws BinaryDataException if there are not enough bytes left in the buffer
+	 *
+	 * @phpstan-param int<0, max> $len
 	 */
 	public function get(int $len) : string{
 		if($len === 0){