Added dynamic return type extension to shut up getopt()

conf/config.neon

@@ -1060,6 +1060,11 @@ services:
 		tags:
 			- phpstan.broker.dynamicFunctionReturnTypeExtension
 
+	-
+		class: PHPStan\Type\Php\GetoptFunctionDynamicReturnTypeExtension
+		tags:
+			- phpstan.broker.dynamicFunctionReturnTypeExtension
+
 	-
 		class: PHPStan\Type\Php\GetParentClassDynamicFunctionReturnTypeExtension
 		tags:

src/Type/Php/GetoptFunctionDynamicReturnTypeExtension.php

@@ -0,0 +1,31 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Type\Php;
+
+use PhpParser\Node\Expr\FuncCall;
+use PHPStan\Analyser\Scope;
+use PHPStan\Reflection\FunctionReflection;
+use PHPStan\Reflection\ParametersAcceptorSelector;
+use PHPStan\Type\Constant\ConstantBooleanType;
+use PHPStan\Type\DynamicFunctionReturnTypeExtension;
+use PHPStan\Type\Type;
+use PHPStan\Type\TypeCombinator;
+use PHPStan\Type\TypeUtils;
+
+class GetoptFunctionDynamicReturnTypeExtension implements DynamicFunctionReturnTypeExtension
+{
+
+	public function isFunctionSupported(FunctionReflection $functionReflection): bool
+	{
+		return $functionReflection->getName() === 'getopt';
+	}
+
+	public function getTypeFromFunctionCall(FunctionReflection $functionReflection, FuncCall $functionCall, Scope $scope): Type
+	{
+		return TypeUtils::toBenevolentUnion(TypeCombinator::union(
+			ParametersAcceptorSelector::selectSingle($functionReflection->getVariants())->getReturnType(),
+			new ConstantBooleanType(false)
+		));
+	}
+
+}

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -402,6 +402,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-2640.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-2413.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-3446.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/getopt.php');
 	}
 
 	/**

tests/PHPStan/Analyser/data/getopt.php

@@ -0,0 +1,9 @@
+<?php
+
+namespace Getopt;
+
+use function getopt;
+use function PHPStan\Testing\assertType;
+
+$opts = getopt("ab:c::", ["longopt1", "longopt2:", "longopt3::"]);
+assertType('(array<string, array<int, mixed>|string|false>|false)', $opts);