Bug report

PHPStan - PHP Static Analysis Tool 0.12.56

I get an error "expects int, int|null given" despite the fact that I checked it before
if I checking clearly !== null everything works good
 

Code snippet that reproduces the problem

https://phpstan.org/r/d4e9e96b-9902-4da4-a85a-ae487094aa68

Expected output "No errors"