match instanceof does not work as expected

[oleg-andreyev]

psalm does not take into account "match" condition.

https://psalm.dev/r/5c4581018e

[psalm-github-bot[bot]]

I found these snippets:

https://psalm.dev/r/5c4581018e

```php $entity->getChannels(), $entity instanceof Channel => [$entity], }; ``` ``` Psalm output (using commit f960d71): ERROR: UndefinedMethod - 22:73 - Method Channel::getChannels does not exist ```

[AndrolGenhald]

Also, for the example the instanceof Product and instanceof Category should be marked as redundant since $entity is known to be a Channel.

[oleg-andreyev]

Also, for the example the instanceof Product and instanceof Category should be marked as redundant since $entity is known to be a Channel.

but $entity could be Product or Category. in that case issue is different https://psalm.dev/r/1c37515a7b

[AndrolGenhald]

Looks like it's the multiple conditions with the , causing the issue then: https://psalm.dev/r/808176fcf6

[psalm-github-bot[bot]]

I found these snippets:

https://psalm.dev/r/808176fcf6

```php $entity->getChannels(), $entity instanceof Category => $entity->getChannels(), $entity instanceof Channel => [$entity], }; ``` ``` Psalm output (using commit f960d71): No issues! ```