Bug report

running array<T> through array_splice() returns array. Should keep T

Code snippet that reproduces the problem

https://phpstan.org/r/c7725599-635a-41ef-a853-1cc052987e7f