Final Exception methods can never throw an exception

conf/config.stubFiles.neon

@@ -12,3 +12,4 @@ parameters:
 		- ../stubs/dom.stub
 		- ../stubs/spl.stub
 		- ../stubs/SplObjectStorage.stub
+		- ../stubs/Exception.stub

stubs/Exception.stub

@@ -0,0 +1,146 @@
+<?php
+
+interface Throwable
+{
+	/**
+	 * @return string
+	 * @throws void
+	 */
+	public function getMessage();
+
+	/**
+	 * @return mixed
+	 * @throws void
+	 */
+	public function getCode();
+
+	/**
+	 * @return string
+	 * @throws void
+	 */
+	public function getFile();
+
+	/**
+	 * @return int
+	 * @throws void
+	 */
+	public function getLine();
+
+	/**
+	 * @return mixed[]
+	 * @throws void
+	 */
+	public function getTrace();
+
+	/**
+	 * @return string
+	 * @throws void
+	 */
+	public function getTraceAsString();
+
+	/**
+	 * @return null|Throwable
+	 * @throws void
+	 */
+	public function getPrevious();
+
+	/**
+	 * @return string
+	 * @throws void
+	 */
+	public function __toString();
+}
+
+class Exception implements Throwable
+{
+
+	/**
+	 * @return string
+	 * @throws void
+	 */
+	final public function getMessage() {}
+
+	/**
+	 * @return mixed
+	 * @throws void
+	 */
+	final public function getCode() {}
+
+	/**
+	 * @return string
+	 * @throws void
+	 */
+	final public function getFile() {}
+
+	/**
+	 * @return int
+	 * @throws void
+	 */
+	final public function getLine() {}
+
+	/**
+	 * @return mixed[]
+	 * @throws void
+	 */
+	final public function getTrace() {}
+
+	/**
+	 * @return null|Throwable
+	 * @throws void
+	 */
+	final public function getPrevious() {}
+
+	/**
+	 * @return string
+	 * @throws void
+	 */
+	final public function getTraceAsString() {}
+
+}
+
+class Error implements Throwable
+{
+
+	/**
+	 * @return string
+	 * @throws void
+	 */
+	final public function getMessage() {}
+
+	/**
+	 * @return mixed
+	 * @throws void
+	 */
+	final public function getCode() {}
+
+	/**
+	 * @return string
+	 * @throws void
+	 */
+	final public function getFile() {}
+
+	/**
+	 * @return int
+	 * @throws void
+	 */
+	final public function getLine() {}
+
+	/**
+	 * @return mixed[]
+	 * @throws void
+	 */
+	final public function getTrace() {}
+
+	/**
+	 * @return null|Throwable
+	 * @throws void
+	 */
+	final public function getPrevious() {}
+
+	/**
+	 * @return string
+	 * @throws void
+	 */
+	final public function getTraceAsString() {}
+
+}

tests/PHPStan/Rules/Exceptions/CatchWithUnthrownExceptionRuleTest.php

@@ -103,6 +103,10 @@ public function testRule(): void
 				'Dead catch - Exception is never thrown in the try block.',
 				485,
 			],
+			[
+				'Dead catch - Exception is never thrown in the try block.',
+				532,
+			],
 		]);
 	}
 

tests/PHPStan/Rules/Exceptions/data/unthrown-exception.php

@@ -521,3 +521,17 @@ public function doBaz(string $string): void
 	}
 
 }
+
+class ExceptionGetMessage
+{
+
+	public function doFoo(\Exception $e)
+	{
+		try {
+			echo $e->getMessage();
+		} catch (\Exception $t) {
+
+		}
+	}
+
+}