Fix filter_var() range narrowing of same input type as filter

phpstan · Dec 27, 2022 · 63adbba · 63adbba
1 parent 86523f8
commit 63adbba
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/Type/Php/FilterVarDynamicReturnTypeExtension.php b/src/Type/Php/FilterVarDynamicReturnTypeExtension.php
@@ -186,7 +186,7 @@ public function getTypeFromFunctionCall(
 			}
 		}
 
-		if ($exactType !== null && !$hasOptions->maybe()) {
+		if ($exactType !== null && !$hasOptions->maybe() && ($inputType->equals($type) || !$inputType->isSuperTypeOf($type)->yes())) {
 			unset($otherTypes['default']);
 		}
 

diff --git a/tests/PHPStan/Analyser/data/filter-var.php b/tests/PHPStan/Analyser/data/filter-var.php
@@ -20,6 +20,7 @@ public function intToInt(int $int, array $options): void
 	{
 		assertType('int', filter_var($int, FILTER_VALIDATE_INT));
 		assertType('int|false', filter_var($int, FILTER_VALIDATE_INT, $options));
+		assertType('int<0, max>|false', filter_var($int, FILTER_VALIDATE_INT, ['options' => ['min_range' => 0]]));
 	}
 
 	public function constants(): void