Avoid specifying incorrect falsey context

Author: herndlm

src/Analyser/TypeSpecifier.php

@@ -997,10 +997,10 @@ private function specifyTypesForCountFuncCall(
 			}
 
 			$isSizeSuperTypeOfArraySize = $sizeType->isSuperTypeOf($type->getArraySize());
-			if ($context->truthy() && $isSizeSuperTypeOfArraySize->no()) {
+			if ($isSizeSuperTypeOfArraySize->no()) {
 				return new NeverType();
 			}
-			if ($context->falsey() && !$isSizeSuperTypeOfArraySize->yes()) {
+			if ($context->falsey() && $isSizeSuperTypeOfArraySize->maybe()) {
 				return new NeverType();
 			}
 
@@ -1049,10 +1049,10 @@ private function specifyTypesForCountFuncCall(
 					return $valueTypesBuilder->getArray();
 				}
 
-				return $type;
+				return $context->truthy() ? $type : new NeverType();
 			}
 
-			return TypeCombinator::intersect($type, new NonEmptyArrayType());
+			return $context->truthy() ? TypeCombinator::intersect($type, new NonEmptyArrayType()) : new NeverType();
 		});
 
 		return $this->create($countFuncCall->getArgs()[0]->value, $resultType, $context, $scope)->setRootExpr($rootExpr);

tests/PHPStan/Analyser/nsrt/bug11480.php

@@ -84,7 +84,7 @@ public function intUnionCount(): void
 		if (count($x) >= $count) {
 			assertType("array{'xy'}|array{0: 'ab', 1?: 'xy'}", $x);
 		} else {
-			assertType("array{}", $x);
+			assertType("array{}|array{'xy'}|array{0: 'ab', 1?: 'xy'}", $x);
 		}
 		assertType("array{}|array{'xy'}|array{0: 'ab', 1?: 'xy'}", $x);
 	}

tests/PHPStan/Analyser/nsrt/list-count.php

@@ -369,7 +369,7 @@ protected function testOptionalKeysInUnionListWithIntRange($row, $twoOrThree, $t
 		if (count($row) >= $maxThree) {
 			assertType('array{string}|list{0: int, 1?: string|null, 2?: int|null, 3?: float|null}', $row);
 		} else {
-			assertType('list{0: int, 1?: string|null, 2?: int|null, 3?: float|null}', $row);
+			assertType('array{string}|list{0: int, 1?: string|null, 2?: int|null, 3?: float|null}', $row);
 		}
 	}