php type resource hidden by class Resource

[dbu]

Bug report

the doc states that phpstan will assume resource to mean the php type resource unless the FQN is used.

however, current versions seem to do the opposite

when i have a class Resource in the same namespace, i can't specify resource and get an error that the case is incorrect. i tried \resource as well, but that gives Parameter $data of method Foo\HelloWorld::sayHello() has invalid type resource.

Code snippet that reproduces the problem

https://phpstan.org/r/67bc0abd-313b-41ca-ae65-7833ff531f35

Expected output

• no errors -

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

❤️

[ondrejmirtes]

Hi, yeah, this doesn't have a great solution because PHPDoc types need to be case-insensitive and there's already a class in the same namespace, leaving resource to be ambiguous.

Fortunately there's closed-resource type with the same semantics that you can use to represent the proper PHP resource type.

I just also added open-resource: phpstan/phpstan-src@bbd9a68

[dbu]

thanks for the quick answer.

i created a pull request to clarify this in the documentation.

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.