Use of result of impure function in max(...) prevents type narrowing #12731
Description
Bug report
Given an impure function f() returning an int, PHPStan fails to narrow the type of max(4, f()) to int<4, max> (it considers it as int).
Code snippet that reproduces the problem
https://phpstan.org/r/bace30de-7627-425a-9098-9ea3b9b6cf5b
Expected output
Lline 19: Dumped type: int<4, max>
Did PHPStan help you today? Did it make you happy in any way?
No response