Variable $dbi in PHPDoc tag @var does not exist. #4500
Description
Bug report
https://phpstan.org/r/92033ccc-e1e5-4be4-bb5b-6059527a9f27
Code snippet that reproduces the problem
/**
* Test for isMerge -- when ENGINE info is MERGE
*/
public function testIsMergeCase2(): void
{
/** @var DatabaseInterface $dbi */
global $dbi;Expected output
As before, let me document globals, they are valid for some IDEs
PS: could you fix phpstan.dev website ?