SlevomatCodingStandard.TypeHints.PropertyTypeHint: Fixed false positive for object shape as item in travesable type

Author: kukulich

SlevomatCodingStandard/Helpers/AnnotationTypeHelper.php

@@ -190,10 +190,10 @@ public static function containsItemsSpecificationForTraversable(
 			return true;
 		}
 
-		if ($typeNode instanceof ArrayShapeNode) {
-			foreach ($typeNode->items as $arrayShapeItemNode) {
+		if ($typeNode instanceof ArrayShapeNode || $typeNode instanceof ObjectShapeNode) {
+			foreach ($typeNode->items as $innerItemNode) {
 				if (!self::containsItemsSpecificationForTraversable(
-					$arrayShapeItemNode->valueType,
+					$innerItemNode->valueType,
 					$phpcsFile,
 					$pointer,
 					$traversableTypeHints,

tests/Sniffs/TypeHints/data/propertyTypeHintEnabledNativeNoErrors.php

@@ -168,6 +168,11 @@ class Whatever
 	/** @var \Foo::INTEGER $a */
 	public $constTypeNode;
 
+	/**
+	 * @var WeakMap<static, object{a: int}> https://phpstan.org/writing-php-code/phpdoc-types#object-shapes
+	 */
+	public WeakMap $objectShapeInItems;
+
 	public function __construct(private $propertyPromotion)
 	{
 	}