feat: improve Map::get() @throws inference

conf/config.neon

@@ -1413,6 +1413,11 @@ services:
 tags:
 - phpstan.broker.dynamicMethodReturnTypeExtension
 
+-
+class: PHPStan\Type\Php\DsMapDynamicMethodThrowTypeExtension
+tags:
+- phpstan.dynamicMethodThrowTypeExtension
+
 -
 class: PHPStan\Type\Php\DioStatDynamicFunctionReturnTypeExtension
 tags:

src/Type/Php/DsMapDynamicMethodThrowTypeExtension.php

@@ -0,0 +1,31 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Type\Php;
+
+use PhpParser\Node\Expr\MethodCall;
+use PHPStan\Analyser\Scope;
+use PHPStan\Reflection\MethodReflection;
+use PHPStan\Type\DynamicMethodThrowTypeExtension;
+use PHPStan\Type\Type;
+use PHPStan\Type\VoidType;
+use function count;
+
+final class DsMapDynamicMethodThrowTypeExtension implements DynamicMethodThrowTypeExtension
+{
+
+public function isMethodSupported(MethodReflection $methodReflection): bool
+{
+return $methodReflection->getDeclaringClass()->getName() === 'Ds\Map'
+&& $methodReflection->getName() === 'get';
+}
+
+public function getThrowTypeFromMethodCall(MethodReflection $methodReflection, MethodCall $methodCall, Scope $scope): Type|null
+{
+if (count($methodCall->args) < 2) {
+return $methodReflection->getThrowType();
+}
+
+return new VoidType();
+}
+
+}

tests/PHPStan/Rules/Exceptions/CatchWithUnthrownExceptionRuleTest.php

@@ -167,6 +167,16 @@ public function testBug4814(): void
 ]);
 }
 
+public function testBug9066(): void
+{
+$this->analyse([__DIR__ . '/data/bug-9066.php'], [
+[
+'Dead catch - OutOfBoundsException is never thrown in the try block.',
+19,
+],
+]);
+}
+
 public function testThrowExpression(): void
 {
 $this->analyse([__DIR__ . '/data/dead-catch-throw-expr.php'], [

tests/PHPStan/Rules/Exceptions/data/bug-9066.php

@@ -0,0 +1,23 @@
+<?php
+
+namespace Bug9066;
+
+class Foo
+{
+public function mayThrow()
+{	$map = new \Ds\Map();
+try {
+$map->get('1');
+} catch (\OutOfBoundsException $e) {
+
+}
+}
+public function neverThrows()
+{	$map = new \Ds\Map();
+try {
+$map->get('1', null);
+} catch (\OutOfBoundsException $e) {
+
+}
+}
+}