reportPossiblyNonexistentGeneralArrayOffset false positive

[RdeV-Visy]

Bug report

reportPossiblyNonexistentGeneralArrayOffset fails after using php function to get the last key in a non empty array.

Offset (int|string) might not exist on non-empty-array<string>.                       
offsetAccess.notFound  

Code snippet that reproduces the problem

https://phpstan.org/r/b29ae8a5-c605-4130-9417-8e46c2d64312

Expected output

I would not expect reportPossiblyNonexistentGeneralArrayOffset to fail on the example provided but it does. Same for a count -1 type setup.

(the playgroud doesn't fail but I can't seem to turn on reportPossiblyNonexistentGeneralArrayOffset)

Did PHPStan help you today? Did it make you happy in any way?

PHPStan makes me happy every workday and has saved me an approximate infinity reviewing things static analysis could have told me. Thanks!