Bug report

Conditions that ensure nullable int is not nullable anymore are not respected by phpstan.
The two conditions cancel out the possibility that the nullable int parameter is null.

Code snippet that reproduces the problem

https://phpstan.org/r/b4d84b76-413d-4cab-961a-ba20da3497fd

Expected output

There should be no error detected in the code