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

Unbound template type is not narrowed correctly #10995

Open mvorisek opened 3 months ago

mvorisek commented 3 months ago

repro: https://psalm.dev/r/db8a695a2d and https://psalm.dev/r/ed1b1e4cfb

I expect no Psalm issue reported.

psalm-github-bot[bot] commented 3 months ago

I found these snippets:

https://psalm.dev/r/db8a695a2d ```php
mvorisek commented 3 months ago

Does anyone has an idea what is going on and how to fix it?