Try

Author: VincentLanglet

stubs/dom.stub

@@ -31,7 +31,7 @@ class DOMNode
 {
 
 	/**
-	 * @var DOMNamedNodeMap<DOMAttr>|null
+	 * @var DOMNamedNodeMap|null
 	 */
 	public $attributes;
 
@@ -46,7 +46,7 @@ class DOMNode
 class DOMElement extends DOMNode
 {
 
-	/** @var DOMNamedNodeMap<DOMAttr> */
+	/** @var DOMNamedNodeMap */
 	public $attributes;
 
 	/** @var DOMDocument */

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

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