fix

phpstan · Mar 23, 2022 · 495e9c2 · 495e9c2
1 parent b6af292
commit 495e9c2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Type/Php/InArrayFunctionTypeSpecifyingExtension.php b/src/Type/Php/InArrayFunctionTypeSpecifyingExtension.php
@@ -47,7 +47,7 @@ public function specifyTypes(FunctionReflection $functionReflection, FuncCall $n
 		$arrayValueType = $arrayType->getIterableValueType();
 
 		$specifiedTypes = new SpecifiedTypes([], []);
-		if ($context->true() && $arrayType->isArray()->yes()) {
+		if ($context->true() && $arrayType->isArray()->yes() && !$arrayType->isIterableAtLeastOnce()->yes()) {
 			$arrayType = TypeCombinator::intersect($arrayType, new NonEmptyArrayType());
 
 			$specifiedTypes = $specifiedTypes->unionWith($this->typeSpecifier->create(