Calling offsetUnset on an ArrayAccessible should reset the count

[BackEndTea]

Bug report

unset() does this already, but offsetUnset does not.

Code snippet that reproduces the problem

https://phpstan.org/r/07c01a9b-f5e8-4f48-8591-105d9d715607

Expected output

I'd expect this snippet to not have any errors

[phpstan-bot]

@BackEndTea After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-13: Strict comparison using === between int<1, max> and 0 will always evaluate to false.
+No errors

[ondrejmirtes]

Fixed by: phpstan/phpstan-src@98fb540

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.