Fix DOMElement::$attributes stub

Author: VincentLanglet

stubs/dom.stub

@@ -36,7 +36,7 @@ class DOMNode
 	public $attributes;
 
 	/**
-	 * @phpstan-assert-if-true !null $this->attributes
+	 * @phpstan-assert-if-true =DOMNamedNodeMap $this->attributes
 	 * @return bool
 	 */
 	public function hasAttributes() {}
@@ -46,6 +46,9 @@ class DOMNode
 class DOMElement extends DOMNode
 {
 
+	/** @var DOMNamedNodeMap */
+	public $attributes;
+
 	/** @var DOMDocument */
 	public $ownerDocument;
 

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

@@ -0,0 +1,26 @@
+<?php declare(strict_types = 1);
+
+namespace Bug13076;
+
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+	public function test(\DOMNode $node): void
+	{
+		if ($node->hasAttributes()) {
+			assertType('DOMNamedNodeMap', $node->attributes);
+		} else {
+			assertType('DOMNamedNodeMap|null', $node->attributes);
+		}
+	}
+
+	public function testElement(\DOMElement $node): void
+	{
+		if ($node->hasAttributes()) {
+			assertType('DOMNamedNodeMap', $node->attributes);
+		} else {
+			assertType('DOMNamedNodeMap', $node->attributes);
+		}
+	}
+}