Report impossible @var

[kkmuffme]

https://psalm.dev/r/eb9afcdaf4

I've inherited a code base where people sometimes used impossibly @var annotations.

I guess if the @var and the actual type do not have any overlap, psalm could report an error.
Input welcome which cases would make sense/are possible without causing false positives

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/eb9afcdaf4

<?php

/**
 * @var int[]
 */
$x = explode(',', '1,2');
/** @psalm-trace $x */;

Psalm output (using commit 765dcbf):

INFO: Trace - 7:23 - $x: array<array-key, int>

INFO: UnusedVariable - 6:1 - $x is never referenced or the value is not used

[ondrejmirtes]

PHPStan has this feature which I'm really proud of: https://phpstan.org/r/86f21aea-1dc0-45a0-8d1a-2596cbb4747a

More about it here: https://phpstan.org/blog/phpstan-1-10-comes-with-lie-detector#validate-inline-phpdoc-%40var-tag-type