From 3a5c041ebbe4fab9e786ae2da566465e5f9d6243 Mon Sep 17 00:00:00 2001 From: Vincent Langlet Date: Fri, 4 Nov 2022 09:55:24 +0100 Subject: [PATCH] Add test --- tests/PHPStan/Analyser/data/integer-range-types.php | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/PHPStan/Analyser/data/integer-range-types.php b/tests/PHPStan/Analyser/data/integer-range-types.php index 1ab38afe13e..5e8706f84fe 100644 --- a/tests/PHPStan/Analyser/data/integer-range-types.php +++ b/tests/PHPStan/Analyser/data/integer-range-types.php @@ -352,6 +352,7 @@ public function zeroIssues($positive, $negative) assertType('int<0, max>', $positive * $positive); assertType('0', 0 * $negative); assertType('int<0, max>', $negative * $negative); + assertType('int', $negative * $positive); } }