SlevomatCodingStandard.TypeHints.PropertyTypeHint: Type alias should not be reported as "missing traversable type hint specification"

Author: kukulich

SlevomatCodingStandard/Sniffs/TypeHints/PropertyTypeHintSniff.php

@@ -429,6 +429,10 @@ private function checkTraversableTypeHintSpecification(
 
 		$typeNode = $propertyAnnotation->getType();
 
+		if (TypeHintHelper::isTypeDefinedInAnnotation($phpcsFile, $propertyPointer, (string) $typeNode)) {
+			return;
+		}
+
 		if (
 			!$hasTraversableTypeHint
 			&& !AnnotationTypeHelper::containsTraversableType($typeNode, $phpcsFile, $propertyPointer, $this->getTraversableTypeHints())

tests/Sniffs/TypeHints/data/propertyTypeHintEnabledNativeNoErrors.php

@@ -194,4 +194,8 @@ class Aliases
 	 */
 	private static $withAlias3;
 
+	/**
+	 * @var SomeAlias3
+	 */
+	private array $withArrayAlias4;
 }