XMLReader::$nodeType missing properties

[verfriemelt-dot-org]

Bug report

> var_dump(phpversion(), (new XMLReader)->nodeType);
string(5) "8.2.0"
int(0)

the same applies for at least localName

as seen here this will produces an error with phpstan and php8.2 but not with previous versions.
the phpstorm stub contains the property:

/**
 * The XMLReader extension is an XML Pull parser. The reader acts as a
 * [...]
 * @property-read int $nodeType The node type for the node
 * [...]
 */
class XMLReader

Code snippet that reproduces the problem

https://phpstan.org/r/7b94ed04-7dfb-4add-a191-79ff6d64f940

Expected output

Did PHPStan help you today? Did it make you happy in any way?

yeah, always makes me happy :)

[supun-io]

Same issue here after upgrading to PHP 8.2.

[ondrejmirtes]

This should be fixed in jetbrains/phpstorm-stubs. For some reason these properties are there only as @property in PHPDoc: https://github.com/JetBrains/phpstorm-stubs/blob/38df6dc93adb121b2ea9002eef8598a79648dcad/xmlreader/xmlreader.php#L14-L27

But in reality they're real properties: https://github.com/php/php-src/blob/master/ext/xmlreader/php_xmlreader.stub.php

Hello everyone,

I wanted to mention that this error is not triggered only on nodeType, but also with other XMLReader properties, here is what I get:

Access to an undefined property XMLReader::$hasAttributes.                           
Access to an undefined property XMLReader::$isEmptyElement.                          
Access to an undefined property XMLReader::$name.                                    
Access to an undefined property XMLReader::$nodeType.                                
Access to an undefined property XMLReader::$value.                                   

The above are all valid properties as per:
https://www.php.net/manual/en/class.xmlreader.php

Thank you.

[DanRaiss]

Facing the same issue here.

Note: Using configuration file /var/www/xxxx/phpstan.neon.
69/69 [▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓] 100%

---

Line XXXX/XXXX/XXXX/Price.php

---

33 No error to ignore is reported on line 33.
45 Access to an undefined property XMLReader::$name.
💡 Learn more: https://phpstan.org/blog/solving-phpstan-access-to-undefined-property
45 Access to an undefined property XMLReader::$nodeType.
💡 Learn more: https://phpstan.org/blog/solving-phpstan-access-to-undefined-property
54 Access to an undefined property XMLReader::$nodeType.
💡 Learn more: https://phpstan.org/blog/solving-phpstan-access-to-undefined-property
55 Access to an undefined property XMLReader::$name.
💡 Learn more: https://phpstan.org/blog/solving-phpstan-access-to-undefined-property
98 Access to an undefined property XMLReader::$name.
💡 Learn more: https://phpstan.org/blog/solving-phpstan-access-to-undefined-property

---

After an hour, trying to find solution, i decided to add file in excludePaths in phpstan.neon

[mhsdesign]

as a workaround - that works on ci for both php 8.0 and 8.2 - i used

/** @var object|\XMLReader $reader the stubs for XMLReader are wrong https://github.com/phpstan/phpstan/issues/8629 */

as @phpstan-ignore-next-line would complain on 8.0 that there is nothing to ignore ^^

[ondrejmirtes]

Fixed: phpstan/phpstan-src@2d364d7