Narrow division to int when modulo is known to be zero #5757

phpstan-bot wants to merge 3 commits into

phpstan:2.1.xphpstan/phpstan-src:2.1.xfrom

phpstan-bot:create-pull-request/patch-uzkbeoephpstan-bot/phpstan-src:create-pull-request/patch-uzkbeoeCopy head branch name to clipboard