phpstan

The Problem

With the new model-property type and ModelPropertyRule Larastan now has the ability to check the existence of model columns that are given to a method.

Adding the model-property type to the Laravel's core methods are done with the help of PHPstan stubs. Some [examples](https://github.com/nunomaduro/larastan/blob/master/stubs/Elo

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.

When following a number of tutorials online including the examples module, and running the code through phpstan-drupal, we get the following error for Plugin definitions:

Line 28 Plugin definitions cannot be altered

The code is:

// line 28
class MyPluginManager extends DefaultPluginManager {

Whe

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

See https://github.com/doctrine/dbal/blob/3.3.x/UPGRADE.md#deprecated-fetchmode-and-the-corresponding-methods

for newer 2.x releases some api is the same to 3.x.

its only about the low hanging fruit. I guess we mostly need to check places like
https://github.com/staabm/phpstan-dba/blob/4d1c84b2dd4241ab9aee1f8e111a84e9d1df6313/src/Extensions/DoctrineConnectionExecuteQueryDynamicReturnTypeExt