Fix test because of more explicit type

Author: SplotyCode

src/Analyser/TypeSpecifier.php

@@ -273,7 +273,8 @@ public function specifyTypesInCondition(
 				&& in_array(strtolower((string) $expr->right->name), ['count', 'sizeof'], true)
 				&& $leftType->isInteger()->yes()
 			) {
-				$argType = $scope->getType($expr->right->getArgs()[0]->value);
+				$argExpr = $expr->right->getArgs()[0]->value;
+				$argType = $scope->getType($argExpr);
 
 				if ($leftType instanceof ConstantIntegerType) {
 					if ($orEqual) {
@@ -295,10 +296,11 @@ public function specifyTypesInCondition(
 					$context->true()
 					&& $expr instanceof Node\Expr\BinaryOp\Smaller
 				    && $argType->isList()->yes()
+					&& $argExpr instanceof Expr\Variable
 					&& IntegerRangeType::fromInterval(0, null)->isSuperTypeOf($leftType)->yes()
 				) {
 					$dimFetch = new ArrayDimFetch(
-						$expr->right->getArgs()[0]->value,
+						$argExpr,
 						$expr->left,
 					);
 					$result = $result->unionWith(

tests/PHPStan/Analyser/nsrt/bug-10264.php

@@ -33,7 +33,7 @@ public function sayHello(array $c): void
 		assertType('list<int>', $c);
 		if (count($c) > 0) {
 			$c = array_map(fn() => new stdClass(), $c);
-			assertType('non-empty-list<stdClass>', $c);
+			assertType('non-empty-list<stdClass>&hasOffsetValue(0, stdClass)', $c);
 		} else {
 			assertType('array{}', $c);
 		}

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

@@ -712,6 +712,10 @@ public static function dataReportPossiblyNonexistentArrayOffset(): iterable
 				'Offset int<0, max> might not exist on array<int, int>.',
 				100
 			],
+			[
+				'Offset int<0, max> might not exist on array<int<min, 4>|int<6, max>, int>.',
+				112
+			],
 		]];
 		yield [true, true, [
 			[
@@ -734,6 +738,10 @@ public static function dataReportPossiblyNonexistentArrayOffset(): iterable
 				'Offset int<0, max> might not exist on array<int, int>.',
 				100
 			],
+			[
+				'Offset int<0, max> might not exist on array<int<min, 4>|int<6, max>, int>.',
+				112
+			],
 		]];
 	}
 

tests/PHPStan/Rules/Arrays/data/report-possibly-nonexistent-array-offset.php

@@ -101,4 +101,16 @@ public function guardNotSafeArray(array $array, int $index) {
 		}
 		return null;
 	}
+
+	/**
+	 * @param array<int, int> $array
+	 * @param non-negative-int $index
+	 */
+	public function guardNotSafeBecauseRewrite(array $array, int $index) {
+		if ($index <= count($array)) {
+			unset($array[5]);
+			return $array[$index];
+		}
+		return null;
+	}
 }