ctype_digit false positive after casted parameters

[staabm]

          With the code below, PHPStan says `Strict comparison using === between int<48, 57>|int<256, max>|numeric-string and 1 will always evaluate to false.`, but that is not true.

$mixed should be typed as int<0, max>|numeric-string, isn't it?

if (ctype_digit((string) $mixed)) {
	if ($mixed === 1) {
		echo '$mixed is 1';
	}
}

https://3v4l.org/AWVMB
https://phpstan.org/r/fff69d60-d579-44fa-bb1c-33f9eee4f2a9

Originally posted by @takaram in #8714 (comment)

[staabm]

here a few more interessting examples: https://3v4l.org/YA4ri

[ondrejmirtes]

Fixed: phpstan/phpstan-src#2189

[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.