search

vimeo / psalm

A static analysis tool for finding errors in PHP applications
https://psalm.dev
MIT License
5.54k stars 660 forks source link

Psalm suddenly fails to assert array shape union types when changed #9417

Open kkmuffme opened 1 year ago

kkmuffme commented 1 year ago

https://psalm.dev/r/61dda6d992

The trace should be int only I think this worked fine before, since this is a quite obvious case, so I doubt nobody encountered this issue before.

psalm-github-bot[bot] commented 1 year ago

I found these snippets:

https://psalm.dev/r/61dda6d992 ```php
weirdan commented 1 year ago

Simplified: https://psalm.dev/r/e055c1ca59

psalm-github-bot[bot] commented 1 year ago

I found these snippets:

https://psalm.dev/r/e055c1ca59 ```php