Bug report

While working with array shapes I encountered the following error message:

Using nullsafe method call on non-nullable type ContractStatus. Use -> instead.

The documented array key has an enum or null. The error is reported for the 2nd and 3r calls but not for the 1st one.
Might be related to #8523 ?

Code snippet that reproduces the problem

https://phpstan.org/r/c0496e31-9514-478d-ac29-98a78b4a8772

Expected output

No error reported.

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

This is the only false positive I got after a massive refactoring (the code of the playground has been shortened and redacted but it actually plays with very large data) where PHPStan helped a lot :-)