Use isset() && is_int() instead of is_int($array[key] ?? null)

phpstan · Jun 20, 2022 · b98a1cf · b98a1cf
1 parent 0473914
commit b98a1cf
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Type/Php/FilterVarDynamicReturnTypeExtension.php b/src/Type/Php/FilterVarDynamicReturnTypeExtension.php
@@ -245,8 +245,8 @@ private function getOtherTypes(?Node\Arg $flagsArg, Scope $scope, array $typeOpt
 		}
 
 		if (isset($range['min']) || isset($range['max'])) {
-			$min = is_int($range['min'] ?? null) ? $range['min'] : null;
-			$max = is_int($range['max'] ?? null) ? $range['max'] : null;
+			$min = isset($range['min']) && is_int($range['min']) ? $range['min'] : null;
+			$max = isset($range['max']) && is_int($range['max']) ? $range['max'] : null;
 			$otherTypes['range'] = new IntegerRangeType($min, $max);
 		}