Offset access type where array has only one key fails with bound type string not supported

[Seldaek]

Bug report

Code snippet that reproduces the problem

It appears if the type T has only one key, T[K] fails because K is just a string and perhaps it expects always a union type of strings/keys?

https://phpstan.org/r/f4197fdb-eaef-485c-a5be-d026adf5e6c2

Expected output

No error

cc @rvanvelzen

[rvanvelzen]

You're exactly right - this effectively becomes a constant string bound, which is not supported: https://phpstan.org/r/c28fe2e8-5201-4236-8f94-497fdf28f4c5

The trivial solution is to implement constant string/integer template bounds, given that key-of<T> can only be string or int.

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