Feature request

I found that phpstan doesn't understand psalms numeric-string type (see https://psalm.dev/docs/annotating_code/type_syntax/scalar_types/#numeric-string)
It would be nice to support it.

here is playground link
https://phpstan.org/r/9e26dfae-706f-4e3a

From the docs:

If you want to count the number of results from a relationship without actually loading them you may use the withCount method, which will place a {relation}_count column on your resulting models.

We should add support for this. It should be simple check. If a property named {relation}_count is a

methods
\Doctrine\ORM\AbstractQuery::setParameters and \Doctrine\ORM\QueryBuilder::setParameters
(see also [this](https://github.com/doctrine/orm/blob/master

Could I get some help on how to run this tool in a Windows environment?

Our projects are inside docker containers using lando/lando, not sure if that is relevant.

Would be awesome if it was possible to install this on Windows so it is project independent.
I know how to install PHP and add things to PATH, but not entirely sure how to get started with this one.

Assert::implementsInterface() works on object|string, not just object, so it should be translated to something like assert($foo instanceof $type || in_array($interface, \class_implements($value))) (see https://3v4l.org/VdIbR).

Not sure what the correct translation (understood by PHPStan) would be.

For reference, this is the current implementation:

https://github.com/phpstan/phpsta

when cs2pr completes and no errors/warnings have to be emitted, the screen stays empty.

as a user I dont know whether everything worked well and nothing had to be reported or there was a error and I dont see it.

at best we could emit a processed x errors and y warnings or similar status message at the very end into STDERR, so we dont destory possible consumers of our gihtub-api checks

This might just be an awkward bug of phpstan itself, but I thought I'd mention it here first.

        $file = Files::find()
            ->select('name')
            ->where('id = :id', [':id' => $fileId])
            ->one();

Here it complains that the where method wants an array and never a string. This is because the original \yii\db\Query class includes `{@inheritd