I'm not sure if this is bug or intended behavior but since SimpleXMLElement has special treatment as an Universal object crates, this should be handled as well, as there is no other way to access nodes having hyphen or other prohibited character.
Accessing elements within an XML document that contain characters not permitted under PHP's naming convention (e.g. the hyphen) can be accomplished by encapsulating the element name within braces and the apostrophe.
Bug report
I'm not sure if this is bug or intended behavior but since SimpleXMLElement has special treatment as an Universal object crates, this should be handled as well, as there is no other way to access nodes having hyphen or other prohibited character.
As per https://www.php.net/manual/en/simplexml.examples-basic.php, example 3
Code snippet that reproduces the problem
https://phpstan.org/r/93b6f5e2-cddb-4172-b42b-5017d0911fc4
Expected output
No error
Did PHPStan help you today? Did it make you happy in any way?
No response