stefanzweifel, 1 month ago @thgs @regis The problem is Laravel's magic. Tools like Larastan or the laravel-ide-helper can help here. The core problem is that for example in this User model, there are no $name or $email properties, but one can use $user->name = ‘Foo’; https://github.com/laravel/laravel/blob/11.x/app/Models/User.php As mentioned, I’m a novice when it comes to phpstan and currently don't see the need to go to level 9 in my projects. My app code these days are often strictly typed PHP classes "outside" of Laravel anyway.
@thgs @regis The problem is Laravel's magic. Tools like Larastan or the laravel-ide-helper can help here.
The core problem is that for example in this User model, there are no $name or $email properties, but one can use $user->name = ‘Foo’; https://github.com/laravel/laravel/blob/11.x/app/Models/User.php
As mentioned, I’m a novice when it comes to phpstan and currently don't see the need to go to level 9 in my projects. My app code these days are often strictly typed PHP classes "outside" of Laravel anyway.