Nullable parameter is not infered to not nullable after conditions checking for null

[MK-42]

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

[phpstan-bot]

@MK-42 After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-16: Parameter #1 $i of function intFunc expects int, int|null given.
+No errors

[ondrejmirtes]

Fixed: phpstan/phpstan-src@b3548f7

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.