Access to an undefined property App\Forms\SomeForm::$presenter is not shown

Start with the reproducer in the issue and inspect stubs/Application/UI/Component.stub, which is identified as the possible solution. Verify the undefined-property diagnostic for SomeForm::$presenter, then update the stub so the expected error is reported and rerun the reproduction to confirm the result.

Versions:
phpstan/phpstan-nette: 2.0.12
nette/application: 3.3.0

Bug Description

Error is not shown.

Steps To Reproduce

<?php declare(strict_types = 1);

namespace App\Forms;

use Nette\Application\UI\Control;
use Nette\Application\UI\Form;

final class SomeForm extends Control
{

	public function render(): void
	{
		$this->getTemplate()->setFile(__DIR__ . '/someForm.latte')
			->render();
	}

	protected function createComponentSomeForm(): Form
	{
		$form = new Form();

		$form->addSubmit('edit', 'OK');

		$form->onSuccess[] = function (Form $form, array $values): void {
			$this->presenter->redirect('this')
		};

		return $form;
	}

}

Expected error:

 ------ -------------------------------------------------------------------------------------------------------- 
  Line   app/Forms/SomeForm.php                                           
 ------ -------------------------------------------------------------------------------------------------------- 
  24    Access to an undefined property App\\Forms\SomeForm::$presenter.  
         🪪  property.notFound                                                                                   
         💡  Learn more: https://phpstan.org/blog/solving-phpstan-access-to-undefined-property                   
 ------ -------------------------------------------------------------------------------------------------------- 

Possible Solution

update stub file in stubs/Application/UI/Component.stub

<?php

namespace Nette\Application\UI;

/**
 * @property-deprecated Presenter $presenter
 * @property-read bool $linkCurrent
 * @phpstan-implements \ArrayAccess<string, \Nette\ComponentModel\IComponent>
 */
abstract class Component implements \ArrayAccess
{

}