Bogus error on comparing positive-int|null with treatPhpDocTypesAsCertain: false #6776
Description
Bug report
Code snippet that reproduces the problem
https://phpstan.org/r/496cd71e-e2eb-4c2e-9301-07cdd8a7ad2e
Expected output
No error should be reported because treatPhpDocTypesAsCertain is disabled.