Analyzer should remember assertions done on a variable when using it inside a closure

[ondrejmirtes]

https://psalm.dev/r/0541b5b720 - expected that $a can be just Identifier.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/0541b5b720

<?php

namespace SpecifiedTypesClosureUse;

use PhpParser\Node\Expr\MethodCall;
use PhpParser\Node\Identifier;
use function PHPStan\Analyser\assertType;

class Foo
{

	public function doFoo(MethodCall $call): void
	{
		if ($call->name instanceof Identifier) {
			function () use ($call): void {
                /** @psalm-trace $a */
				$a = $call->name;
			};
		}
	}

}

Psalm output (using commit e97a9c8):

INFO: Trace - 17:5 - $a: PhpParser\Node\Expr|PhpParser\Node\Identifier

INFO: UnusedVariable - 17:5 - Variable $a is never referenced