Built-in PHP functions without required parameters and no arguments passed do not have implicit throw point

Author: ondrejmirtes

src/Analyser/NodeScopeResolver.php

@@ -1786,9 +1786,27 @@ function (MutatingScope $scope) use ($expr, $nodeCallback, $context): Expression
 						$throwPoints[] = ThrowPoint::createExplicit($scope, $throwType, true);
 					}
 				} elseif ($this->implicitThrows) {
-					$functionReturnedType = $scope->getType($expr);
-					if (!(new ObjectType(\Throwable::class))->isSuperTypeOf($functionReturnedType)->yes()) {
-						$throwPoints[] = ThrowPoint::createImplicit($scope);
+					$requiredParameters = null;
+					if ($parametersAcceptor !== null) {
+						$requiredParameters = 0;
+						foreach ($parametersAcceptor->getParameters() as $parameter) {
+							if ($parameter->isOptional()) {
+								continue;
+							}
+
+							$requiredParameters++;
+						}
+					}
+					if (
+						!$functionReflection->isBuiltin()
+						|| $requiredParameters === null
+						|| $requiredParameters > 0
+						|| count($expr->args) > 0
+					) {
+						$functionReturnedType = $scope->getType($expr);
+						if (!(new ObjectType(\Throwable::class))->isSuperTypeOf($functionReturnedType)->yes()) {
+							$throwPoints[] = ThrowPoint::createImplicit($scope);
+						}
 					}
 				}
 			} else {

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -384,6 +384,7 @@ public function dataFileAsserts(): iterable
 
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/DateTimeDynamicReturnTypes.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-4821.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-4838.php');
 	}
 
 	/**

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

@@ -0,0 +1,24 @@
+<?php
+
+namespace Bug4838;
+
+use PHPStan\TrinaryLogic;
+use function PHPStan\Testing\assertVariableCertainty;
+
+class Foo
+{
+
+	public function doIt(): void
+	{
+		try {
+			$handle = tmpfile();
+
+			if (rand(1,10) > 5) {
+				throw new \LogicException();
+			}
+		} finally {
+			assertVariableCertainty(TrinaryLogic::createYes(), $handle);
+		}
+	}
+
+}