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 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

What I did in phpstan-beberlei-assert in this commit should also be done here in phpstan-webmozart-assert. Instead of hacking together a really burdensome way of testing type inference, the new modern way takes advantage of TypeInferenceTest that's in current dev-master of phpstan/phpstan.