resource is not a reserved word about psalm HOT 4 CLOSED

I found these snippets:

<?php

class resource {}

new \resource();

Psalm output (using commit 08afc45):

ERROR: ReservedWord - 5:5 - resource is a reserved word

ERROR: ReservedWord - 3:7 - resource is a reserved word

from psalm.

Yeah but that's pretty much unavoidable. Psalm need to know what the symbol references and juggling with what may be a class resource and sometimes a normal resource would be very complex for something that is probably used by 10 codebases (and probably should not be used at all)

from psalm.

Not really understand. A real/normal resource can not use the word resource in PHP. If you find that word in PHP code it is always a class name, and never a real resource.

Anyway, it is an edge case for something I working on, I met once in 20 years and will probably not meet it again, so if you say it can't be fixed, you can close this issue.

from psalm.

Yeah but Psalm uses more than code to analyze project. It uses a lot of phpdoc. And 99.99% of cases, when you have a @param resource $a, we're talking about the meta type resource of php, and not a possible class.

Chances are, even for a project that does have a class resource in the main namespace, a phpdoc that says resource could still be a file handler rather than the class

So yeah, we're not going to bother too much on this one

from psalm.