Add rule test for bug-13705 to verify no false positive in_array errors

Adds a rule test for ImpossibleCheckTypeFunctionCallRule that verifies
in_array() inside while loops with count comparisons no longer produces
false "will always evaluate to false" errors.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php

@@ -1202,6 +1202,12 @@ public function testBug14429(): void
 		$this->analyse([__DIR__ . '/data/bug-14429.php'], []);
 	}
 
+	public function testBug13705(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-13705.php'], []);
+	}
+
 	public function testBug13799(): void
 	{
 		$this->treatPhpDocTypesAsCertain = true;

tests/PHPStan/Rules/Comparison/data/bug-13705.php

@@ -0,0 +1,61 @@
+<?php declare(strict_types = 1);
+
+namespace Bug13705Rule;
+
+function whileLoopWithInArray(): void
+{
+	$quantity = random_int(1, 42);
+	$codes = [];
+	while (count($codes) < $quantity) {
+		$code = random_bytes(16);
+		if (!in_array($code, $codes, true)) {
+			$codes[] = $code;
+		}
+	}
+}
+
+function whileLoopOriginal(int $length, int $quantity): void
+{
+	if ($length < 8) {
+		throw new \InvalidArgumentException();
+	}
+	$codes = [];
+	while ($quantity >= 1 && count($codes) < $quantity) {
+		$code = '';
+		for ($i = 0; $i < $length; $i++) {
+			$code .= 'x';
+		}
+		if (!in_array($code, $codes, true)) {
+			$codes[] = $code;
+		}
+	}
+}
+
+class HelloWorld
+{
+	private const MIN_LENGTH = 8;
+
+	/**
+	 * @return list<non-empty-string>
+	 */
+	public function generatePlainRecoveryCodes(int $length = 8, int $quantity = 8): array
+	{
+		if ($length < self::MIN_LENGTH) {
+			throw new \InvalidArgumentException(
+				$length . ' is not allowed as length for recovery codes. Must be at least ' . self::MIN_LENGTH,
+				1613666803
+			);
+		}
+		$codes = [];
+		while ($quantity >= 1 && count($codes) < $quantity) {
+			$code = '';
+			for ($i = 0; $i < $length; $i++) {
+				$code .= 'x';
+			}
+			if (!in_array($code, $codes, true)) {
+				$codes[] = $code;
+			}
+		}
+		return $codes;
+	}
+}