more substractable tests

phpstan · Aug 3, 2022 · 2134921 · 2134921
1 parent a2e719e
commit 2134921
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/tests/PHPStan/Analyser/LegacyNodeScopeResolverTest.php b/tests/PHPStan/Analyser/LegacyNodeScopeResolverTest.php
@@ -2707,6 +2707,14 @@ public function dataBinaryOperations(): array
 				'array',
 				'$mixedNoFloat + []',
 			],
+			[
+				'(float|int)',
+				'$mixedNoFloat + 5',
+			],
+			[
+				'(float|int)',
+				'$mixedNoInt + 5',
+			],
 			[
 				'*ERROR*',
 				'$mixedNoArray + []',

diff --git a/tests/PHPStan/Analyser/data/binary.php b/tests/PHPStan/Analyser/data/binary.php
@@ -193,6 +193,9 @@ public function doFoo(array $generalArray)
 		if (!is_array($mixed)) {
 			$mixedNoArray = $mixed;
 		}
+		if (!is_int($mixed)) {
+			$mixedNoInt = $mixed;
+		}
 		if (!is_float($mixed)) {
 			$mixedNoFloat = $mixed;
 		}