TypeHintDeclarationSniff: Fixed false positive

Author: kukulich

SlevomatCodingStandard/Sniffs/TypeHints/TypeHintDeclarationSniff.php

@@ -240,6 +240,10 @@ private function checkParametersTypeHints(File $phpcsFile, int $functionPointer)
 
 					$possibleParameterTypeHint = $this->getTraversableTypeHintFromType($parameterTypeNode);
 					$nullableParameterTypeHint = false;
+
+					if (!$this->isTraversableType(TypeHintHelper::getFullyQualifiedTypeHint($phpcsFile, $functionPointer, $possibleParameterTypeHint))) {
+						continue;
+					}
 				}
 			}
 
@@ -464,6 +468,10 @@ private function checkReturnTypeHints(File $phpcsFile, int $functionPointer): vo
 
 				$possibleReturnTypeHint = $this->getTraversableTypeHintFromType($returnTypeNode);
 				$nullableReturnTypeHint = false;
+
+				if (!$this->isTraversableType(TypeHintHelper::getFullyQualifiedTypeHint($phpcsFile, $functionPointer, $possibleReturnTypeHint))) {
+					return;
+				}
 			}
 		}
 

tests/Sniffs/TypeHints/data/typeHintDeclarationNoErrors.php

@@ -677,6 +677,21 @@ public function hasGenericReturnAnnotation(): \Traversable
 	{
 	}
 
+	/**
+	 * @param mixed[]|string $parameter
+	 */
+	public function parameterArrayOrString($parameter): void
+	{
+	}
+
+	/**
+	 * @return mixed[]|string
+	 */
+	public function returnsArrayOrString()
+	{
+		return [];
+	}
+
 }
 
 class IntersectionAndGeneric