Array value type is not narrowed when value itself is checked

Bug report

In the first example, there should be no error, in the second one, the dumped type should be int, not mixed.

This is a bit far-fetched to expect PHPStan to understand this, you can simply rewrite your code as following:

@ondrejmirtes

@ondrejmirtes After the latest push in 2.3.x, PHPStan now reports different result with your code snippet:

@@ @@
-No errors
+9: Foreach value variable $value is never read.

Full report

Line	Error
9	`Foreach value variable $value is never read.`

@ondrejmirtes

@ondrejmirtes After the latest push in 2.3.x, PHPStan now reports different result with your code snippet:

@@ @@
+ 9: Foreach value variable $value is never read.
 14: Dumped type: int

Full report

Line	Error
9	`Foreach value variable $value is never read.`
14	`Dumped type: int`