Regression test

Closes phpstan/phpstan#12716

Author: ondrejmirtes

tests/PHPStan/Rules/Comparison/NumberComparisonOperatorsConstantConditionRuleTest.php

@@ -246,4 +246,10 @@ public function testBug9850(): void
 		$this->analyse([__DIR__ . '/data/bug-9850.php'], []);
 	}
 
+	public function testBug12716(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-12716.php'], []);
+	}
+
 }

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

@@ -0,0 +1,19 @@
+<?php
+
+namespace Bug12716;
+
+function (): void {
+	$items = [];
+	$a = function () use (&$items) {
+		$x = 'a';
+		$items[] = $x;
+		if (count($items) >= 10) {
+			var_dump(count($items));
+			$items = [];
+		}
+	};
+	$i = 0;
+	while ($i++ <= 100) {
+		$a();
+	}
+};