diff --git a/conf/config.neon b/conf/config.neon
index 19056af1ab..c0bd1d45f3 100644
--- a/conf/config.neon
+++ b/conf/config.neon
@@ -125,6 +125,7 @@ parameters:
 		- ../stubs/Redis.stub
 		- ../stubs/ReflectionAttribute.stub
 		- ../stubs/ReflectionClassConstant.stub
+		- ../stubs/ReflectionFunction.stub
 		- ../stubs/ReflectionFunctionAbstract.stub
 		- ../stubs/ReflectionMethod.stub
 		- ../stubs/ReflectionParameter.stub
diff --git a/stubs/ReflectionFunction.stub b/stubs/ReflectionFunction.stub
new file mode 100644
index 0000000000..3b2a530dba
--- /dev/null
+++ b/stubs/ReflectionFunction.stub
@@ -0,0 +1,16 @@
+<?php
+
+class ReflectionFunction
+{
+
+	/**
+	 * @throws \Throwable
+	 */
+	public function invoke(mixed ...$args): mixed {}
+
+	/**
+	 * @throws \Throwable
+	 */
+	public function invokeArgs(array $args): mixed {}
+
+}
diff --git a/stubs/ReflectionMethod.stub b/stubs/ReflectionMethod.stub
index cb060a6c97..0b3181ab8d 100644
--- a/stubs/ReflectionMethod.stub
+++ b/stubs/ReflectionMethod.stub
@@ -13,4 +13,14 @@ class ReflectionMethod
 	 */
 	public $name;
 
+	/**
+	 * @throws \Throwable
+	 */
+	public function invoke(?object $object, mixed ...$args): mixed {}
+
+	/**
+	 * @throws \Throwable
+	 */
+	public function invokeArgs(?object $object, array $args): mixed {}
+
 }
diff --git a/tests/PHPStan/Rules/Exceptions/CatchWithUnthrownExceptionRuleTest.php b/tests/PHPStan/Rules/Exceptions/CatchWithUnthrownExceptionRuleTest.php
index 272c010d97..e9c8b70b38 100644
--- a/tests/PHPStan/Rules/Exceptions/CatchWithUnthrownExceptionRuleTest.php
+++ b/tests/PHPStan/Rules/Exceptions/CatchWithUnthrownExceptionRuleTest.php
@@ -604,6 +604,16 @@ public function testBug9568(): void
 		$this->analyse([__DIR__ . '/data/bug-9568.php'], []);
 	}
 
+	public function testBug7719(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-7719.php'], []);
+	}
+
+	public function testBug9267(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-9267.php'], []);
+	}
+
 	#[RequiresPhp('>= 8.4')]
 	public function testPropertyHooks(): void
 	{
diff --git a/tests/PHPStan/Rules/Exceptions/data/bug-7719.php b/tests/PHPStan/Rules/Exceptions/data/bug-7719.php
new file mode 100644
index 0000000000..5da5979c90
--- /dev/null
+++ b/tests/PHPStan/Rules/Exceptions/data/bug-7719.php
@@ -0,0 +1,56 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7719;
+
+class Endpoint {
+	public function run(int $id): int {
+		return $id;
+	}
+}
+
+class HelloWorld
+{
+	public function sayHello(Endpoint $endpoint, string $methodName): void
+	{
+		try {
+			$methodResponse = (new \ReflectionMethod($endpoint, $methodName))->invokeArgs($endpoint, ['id' => 2]);
+		} catch (\RuntimeException $e) {
+			echo $e->getMessage();
+			die;
+		}
+		var_dump($methodResponse);
+	}
+
+	public function sayHelloWithInvoke(Endpoint $endpoint, string $methodName): void
+	{
+		try {
+			$methodResponse = (new \ReflectionMethod($endpoint, $methodName))->invoke($endpoint, 2);
+		} catch (\RuntimeException $e) {
+			echo $e->getMessage();
+			die;
+		}
+		var_dump($methodResponse);
+	}
+
+	public function sayHelloWithFunction(string $functionName): void
+	{
+		try {
+			$result = (new \ReflectionFunction($functionName))->invokeArgs([1, 2]);
+		} catch (\RuntimeException $e) {
+			echo $e->getMessage();
+			die;
+		}
+		var_dump($result);
+	}
+
+	public function sayHelloWithFunctionInvoke(string $functionName): void
+	{
+		try {
+			$result = (new \ReflectionFunction($functionName))->invoke(1, 2);
+		} catch (\RuntimeException $e) {
+			echo $e->getMessage();
+			die;
+		}
+		var_dump($result);
+	}
+}
diff --git a/tests/PHPStan/Rules/Exceptions/data/bug-9267.php b/tests/PHPStan/Rules/Exceptions/data/bug-9267.php
new file mode 100644
index 0000000000..6ce0f7ef0c
--- /dev/null
+++ b/tests/PHPStan/Rules/Exceptions/data/bug-9267.php
@@ -0,0 +1,30 @@
+<?php declare(strict_types = 1);
+
+namespace Bug9267;
+
+class FooException extends \Exception {}
+
+class C {
+	/** @return never */
+	public function test(): never {
+		throw new FooException("");
+	}
+}
+
+function bar(\ReflectionMethod $r): void {
+	try {
+		$r->invokeArgs(new C, array());
+	}
+	catch (FooException $e) {
+		print "CAUGHT FOO!\n";
+	}
+}
+
+function baz(\ReflectionMethod $r): void {
+	try {
+		$r->invoke(new C);
+	}
+	catch (FooException $e) {
+		print "CAUGHT FOO!\n";
+	}
+}