more tests

Author: staabm

tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php

@@ -1169,7 +1169,11 @@ public function testBug13566(): void
 		$this->analyse([__DIR__ . '/data/bug-13566.php'], [
 			[
 				'Call to function is_numeric() with 123 will always evaluate to true.',
-				197,
+				199,
+			],
+			[
+				'Call to function assertIsInt() with int will always evaluate to true.',
+				204,
 			],
 		]);
 	}

tests/PHPStan/Rules/Comparison/data/bug-13566.php

@@ -4,6 +4,8 @@
 
 namespace Bug13566;
 
+use LogicException;
+
 class ReturnViaBool
 {
 	/** @return ($exit is true ? never : void) */
@@ -196,3 +198,15 @@ public function test(): void
 $x = 123;
 if (is_numeric($x)) {
 }
+
+function doFoo($mixed) {
+	assertIsInt($mixed);
+	assertIsInt($mixed);
+}
+
+/** @phpstan-assert int $i */
+function assertIsInt($i):void {
+	if (!is_int($i)) {
+		throw new \LogicException();
+	}
+}