Bug report

Currently range(int<0,max>, int<0,max>) results in array<int,int>`

Code snippet that reproduces the problem

https://phpstan.org/r/b240efab-e9c7-4b4c-a425-55c06eab0f2a

Expected output

It should return int<0,max> I think

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

phpstan helps all the time!