I don't even know if this is fixable. I'd imagine the implementation might be somewhat thorny, but the example is pretty clear, I think:

https://phpstan.org/r/5b8eec98-7783-4b2b-9794-e7d0f370ae1a