Improve is_resource inference

Author: VincentLanglet

stubs/typeCheckingFunctions.stub

@@ -106,7 +106,7 @@ function is_long(mixed $value): bool
 
 /**
  * @phpstan-assert-if-true =resource $value
- * @return bool
+ * @return ($value is resource ? bool : false)
  */
 function is_resource(mixed $value): bool
 {

tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php

@@ -1094,6 +1094,12 @@ public function testBug12087c(): void
 		]);
 	}
 
+	public function testBug10394(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-10394.php'], []);
+	}
+
 	public function testBug9666(): void
 	{
 		$tipText = 'Because the type is coming from a PHPDoc, you can turn off this check by setting <fg=cyan>treatPhpDocTypesAsCertain: false</> in your <fg=cyan>%configurationFile%</>.';

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

@@ -0,0 +1,18 @@
+<?php
+
+namespace Bug10394;
+
+class SomeClass
+{
+	private int $integer = 0;
+
+	public function __construct()
+	{
+		// try commenting this out!
+		$this->integer = 45;
+
+		if (is_resource($this->integer)) {
+			throw new \Exception('A resource??');
+		}
+	}
+}