Type inference issue

[danog]

Just for reference, may just be the expression complexity limit: https://psalm.dev/r/d2ebbc2264

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/d2ebbc2264

<?php


function test(PhpParser\Node $node): void
{
    if ($node instanceof PhpParser\Node\Stmt\Namespace_) {
    } elseif ($node instanceof PhpParser\Node\FunctionLike
              || $node instanceof PhpParser\Node\Stmt\Expression
                 && true
              || $node instanceof PhpParser\Node\Arg
                 && true
              || ($node instanceof PhpParser\Node\ArrayItem
                 && true)
     ) {
	   /** @psalm-check-type-exact $node = PhpParser\Node\Arg|PhpParser\Node\ArrayItem|PhpParser\Node\FunctionLike|PhpParser\Node\Stmt\Expression */;
    }
}

Psalm output (using commit 53140ea):

ERROR: RedundantCondition - 9:21 - Operand of type true is always truthy

ERROR: RedundantCondition - 11:21 - Operand of type true is always truthy

ERROR: RedundantCondition - 13:21 - Operand of type true is always truthy

ERROR: CheckType - 15:146 - Checked variable $node = PhpParser\Node\Arg|PhpParser\Node\ArrayItem|PhpParser\Node\FunctionLike|PhpParser\Node\Stmt\Expression does not match $node = PhpParser\Node