Add non regression test

Author: VincentLanglet

tests/PHPStan/Rules/Comparison/NumberComparisonOperatorsConstantConditionRuleTest.php

@@ -245,6 +245,12 @@ public function testBug9850(): void
 		$this->analyse([__DIR__ . '/data/bug-9850.php'], []);
 	}
 
+	public function testBug9180(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-9180.php'], []);
+	}
+
 	public function testBug12716(): void
 	{
 		$this->treatPhpDocTypesAsCertain = true;

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

@@ -0,0 +1,15 @@
+<?php
+
+namespace Bug9180;
+
+$queue = new \SplQueue();
+
+$queue->push(1);
+
+if ($queue->count() > 0) {
+	for ($i=0;$i<5;$i++) {
+		while ($queue->count() > 0 && $value = $queue->shift()) {
+			//do something with $value
+		}
+	}
+}