false positive: Variable $var might not be defined when using switch in catch block

[damnedest]

If you use switch in catch block phpstan you get error that variable might not be defined.

Code snippet that reproduces the problem

https://phpstan.org/r/340e85cc81407dc0e0173b8cce5ada9a

<?php declare(strict_types = 1);

function test(): int
{
	try {
		$var = 1;
	} catch (\Throwable $e) {
		switch ($e->getCode()) {
			case 1:
				return 0;
			default:
				return -1;
		}
	}
	
	return $var;
}

Expected output

No errors

[ondrejmirtes]

Hi,
please set polluteCatchScopeWithTryAssignments to true. See #503.

[adaamz]

Or return that value in try block https://phpstan.org/r/a8c5d87ad1e198548331e704920c651d

[adaamz]

Seems fixed https://phpstan.org/r/980ff353-9660-43c5-b68f-f0e4a4bcab92

[ondrejmirtes]

Again, it might be easily tricked with different code. Needs full-fledged exception tracking. That's why it's still open.

[ondrejmirtes]

Fixed by: phpstan/phpstan-src#481

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.