resources may be opened or closed

we cannot differentiate based on the 'resource' type between opened or closed resources

Author: staabm

src/Type/Php/TypeSpecifyingFunctionsDynamicReturnTypeExtension.php

@@ -51,7 +51,6 @@ public function isFunctionSupported(FunctionReflection $functionReflection): boo
 			'is_iterable',
 			'is_null',
 			'is_object',
-			'is_resource',
 			'is_scalar',
 			'is_string',
 			'is_subclass_of',

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -994,6 +994,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/loose-comparisons.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-7563.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-7764.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-5845.php');
 	}
 
 	/**

tests/PHPStan/Analyser/data/bug-5845.php

@@ -0,0 +1,17 @@
+<?php
+
+namespace Bug5845;
+
+use function PHPStan\Testing\assertType;
+
+class A
+{
+	/**
+	 * @param resource $resource
+	 */
+	public static function foo($resource): void
+	{
+		assertType('bool', is_resource($resource));
+		$type = is_resource($resource) ? get_resource_type($resource) : 'closed';
+	}
+}