more tests

phpstan · Sep 12, 2024 · 55b879a · 55b879a
1 parent 51fae3c
commit 55b879a
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 6 deletions.
diff --git a/tests/PHPStan/Rules/Operators/InvalidBinaryOperationRuleTest.php b/tests/PHPStan/Rules/Operators/InvalidBinaryOperationRuleTest.php
@@ -892,7 +892,7 @@ public function dataDivisionByMaybeZero(): iterable
 				],
 				[
 					'Binary operation "/" between int and -5|int<0, max> might result in an error.',
-					115,
+					123,
 				],
 			],
 		];
@@ -930,7 +930,7 @@ public function dataDivisionByMaybeZero(): iterable
 				],
 				[
 					'Binary operation "/" between int and -5|int<0, max> might result in an error.',
-					115,
+					123,
 				],
 			],
 		];

diff --git a/tests/PHPStan/Rules/Operators/data/invalid-division.php b/tests/PHPStan/Rules/Operators/data/invalid-division.php
@@ -75,7 +75,7 @@ function throws(int $i, int $x) {
 	return $i / $x;
 };
 
-class DivideFloats
+class Divide
 {
 	public function doDiv(int $y, float $x): void
 	{
@@ -99,12 +99,20 @@ public function doDiv2(int $y, $benevolentMaybeFloat): void
 	}
 
 	/**
-	 * @param __benevolent<int|true> $benevolentMaybeString
+	 * @param __benevolent<int|true> $benevolent
 	 */
-	public function doDiv3(int $y, $benevolentMaybeString): void
+	public function doDiv3(int $y, $benevolent): void
 	{
-		echo $y / $benevolentMaybeString;
+		echo $y / $benevolent;
 	}
+
+    /**
+     * @param __benevolent<float|true> $benevolent
+     */
+    public function doDiv4(int $y, $benevolent): void
+    {
+        echo $y / $benevolent;
+    }
 }
 
 /**