Add test cases for @throws void constructors on interfaces and abstract classes

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

tests/PHPStan/Rules/Exceptions/CatchWithUnthrownExceptionRuleTest.php

@@ -799,7 +799,15 @@ public function testBug6574(): void
 		$this->analyse([__DIR__ . '/data/bug-6574.php'], [
 			[
 				'Dead catch - Exception is never thrown in the try block.',
-				83,
+				97,
+			],
+			[
+				'Dead catch - Exception is never thrown in the try block.',
+				106,
+			],
+			[
+				'Dead catch - Exception is never thrown in the try block.',
+				115,
 			],
 		]);
 	}

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

@@ -30,6 +30,20 @@ final class FinalClass
 {
 }
 
+interface ThrowsVoidInterface
+{
+	/** @throws void */
+	public function __construct();
+}
+
+abstract class AbstractThrowsVoid
+{
+	/** @throws void */
+	public function __construct()
+	{
+	}
+}
+
 /** @param class-string<FooInterface> $class */
 function interfaceWithoutConstructor(string $class): void
 {
@@ -83,3 +97,21 @@ function finalClassWithoutConstructor(string $class): void
 	} catch (\Exception $e) { // dead catch - final class with no constructor
 	}
 }
+
+/** @param class-string<ThrowsVoidInterface> $class */
+function interfaceWithThrowsVoidConstructor(string $class): void
+{
+	try {
+		new $class();
+	} catch (\Exception $e) { // dead catch - constructor is @throws void
+	}
+}
+
+/** @param class-string<AbstractThrowsVoid> $class */
+function abstractClassWithThrowsVoidConstructor(string $class): void
+{
+	try {
+		new $class();
+	} catch (\Exception $e) { // dead catch - constructor is @throws void
+	}
+}