Fix 13365

Author: stefanfisk

stubs/dom.stub

@@ -31,12 +31,12 @@ class DOMNode
 {
 
 	/**
-	 * @var DOMNamedNodeMap|null
+	 * @var DOMNamedNodeMap<DOMAttr>|null
 	 */
 	public $attributes;
 
 	/**
-	 * @phpstan-assert-if-true =DOMNamedNodeMap $this->attributes
+	 * @phpstan-assert-if-true =DOMNamedNodeMap<DOMAttr> $this->attributes
 	 * @return bool
 	 */
 	public function hasAttributes() {}
@@ -46,7 +46,7 @@ class DOMNode
 class DOMElement extends DOMNode
 {
 
-	/** @var DOMNamedNodeMap */
+	/** @var DOMNamedNodeMap<DOMAttr> */
 	public $attributes;
 
 	/** @var DOMDocument */
@@ -155,6 +155,10 @@ class DOMProcessingInstruction
 }
 
 /**
+ * @template-covariant TNode as DOMNode
+ * @implements Traversable<int, TNode>
+ * @implements IteratorAggregate<int, TNode>
+ *
  * @property-read int $length
  */
 class DOMNamedNodeMap

tests/PHPStan/Analyser/nsrt/bug-13076.php

@@ -9,18 +9,18 @@ class Foo
 	public function test(\DOMNode $node): void
 	{
 		if ($node->hasAttributes()) {
-			assertType('DOMNamedNodeMap', $node->attributes);
+			assertType('DOMNamedNodeMap<DOMAttr>', $node->attributes);
 		} else {
-			assertType('DOMNamedNodeMap|null', $node->attributes);
+			assertType('DOMNamedNodeMap<DOMAttr>|null', $node->attributes);
 		}
 	}
 
 	public function testElement(\DOMElement $node): void
 	{
 		if ($node->hasAttributes()) {
-			assertType('DOMNamedNodeMap', $node->attributes);
+			assertType('DOMNamedNodeMap<DOMAttr>', $node->attributes);
 		} else {
-			assertType('DOMNamedNodeMap', $node->attributes);
+			assertType('DOMNamedNodeMap<DOMAttr>', $node->attributes);
 		}
 	}
 }

tests/PHPStan/Analyser/nsrt/bug-13365.php

@@ -0,0 +1,15 @@
+<?php declare(strict_types = 1);
+
+namespace Bug13365;
+
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+	public function test(\DOMElement $element): void
+	{
+		foreach ($element->attributes ?? [] as $attr) {
+			assertType('DOMAttr', $attr);
+		}
+	}
+}