Avoid falsely specifying never types via count()

Author: herndlm

src/Analyser/TypeSpecifier.php

@@ -1068,6 +1068,7 @@ private function specifyTypesForCountFuncCall(
 			!$isNormalCount->yes()
 			|| (!$isConstantArray->yes() && !$isList->yes())
 			|| !$oneOrMore->isSuperTypeOf($sizeType)->yes()
+			|| $sizeType->isSuperTypeOf($type->getArraySize())->yes()
 		) {
 			return null;
 		}

tests/PHPStan/Analyser/nsrt/count-const-array-2.php

@@ -0,0 +1,35 @@
+<?php declare(strict_types = 1);
+
+namespace CountConstArray2;
+
+use function PHPStan\Testing\assertType;
+
+class HelloWorld
+{
+	/**
+	 * @param int<1, max> $limit
+	 * @return list<\stdClass>
+	 */
+	public function searchRecommendedMinPrices(int $limit): array
+	{
+		$bestMinPrice = new \stdClass();
+		$limit--;
+		if ($limit === 0) {
+			return [$bestMinPrice];
+		}
+
+		$otherMinPrices = [new \stdClass()];
+		while (count($otherMinPrices) < $limit) {
+			$otherMinPrice = new \stdClass();
+			if (rand(0, 1)) {
+				$otherMinPrice = null;
+			}
+			if ($otherMinPrice === null) {
+				break;
+			}
+			array_unshift($otherMinPrices, $otherMinPrice);
+		}
+		assertType('non-empty-list<stdClass>', $otherMinPrices);
+		return [$bestMinPrice, ...$otherMinPrices];
+	}
+}

tests/PHPStan/Rules/Properties/TypesAssignedToPropertiesRuleTest.php

@@ -139,11 +139,6 @@ public function testBug1216(): void
 		]);
 	}
 
-	public function testBug1311(): void
-	{
-		$this->analyse([__DIR__ . '/data/bug-1311.php'], []);
-	}
-
 	public function testTypesAssignedToPropertiesExpressionNames(): void
 	{
 		$this->analyse([__DIR__ . '/data/properties-from-array-into-object.php'], [