Repository navigation
Bad type detection inside the cycle #923
Description
Inside cycle is type detected as array|Obj instead of array.
Code snippet that reproduces the problem
https://phpstan.org/r/65554843120524c6a9a2fb03d35fe92f
Expected output
No error 'Parameter #1 $arr of class Obj constructor expects array, array|Obj given.'
Activity
muglug commentedon Apr 17, 2018
Might want to follow what I do, and pass the
doconditional to the loop checker to be re-evaluated on each pass.ondrejmirtes commentedon Apr 17, 2018
The do-while loop analysis usually works, this might be something about the reused
$arr = new Obj($arr);on the same line. Again, something that will be solved by @JanTvrdik's refactoring...ondrejmirtes commentedon Mar 2, 2019
Will be fixed by #1938
Test - closes #923