Bogus error when unsetting offset of array property

[dktapps]

Bug report

This is a weird one, because it didn't show up on my failed build, but I stumbled across it when identifying another bug on phpstan.org.

Code snippet that reproduces the problem

https://phpstan.org/r/46b7df20-3bc4-45d3-940e-3e12260e456a

Expected output

No error should be reported.

[ondrejmirtes]

Yeah, the property itself shouldn't become nullable after unsetting an offset: https://phpstan.org/r/b3fd427a-bc1b-4bce-a27a-fb782c13e4af

[ondrejmirtes]

Fixed: phpstan/phpstan-src@b43c057

[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.