phpstan: Access to an undefined property App\Livewire\RegisterPage::$form.

When creating a form like described in the docs at https://filamentphp.com/docs/3.x/forms/adding-a-form-to-a-livewire-component#adding-the-form then I get the following PHPStan message. Is the documentation still up to date or do I have to set it differently? What about autocompletion?
Was this page helpful?