Validate checkedExceptionClasses config

Validate that class names configured in checkedExceptionClasses and
uncheckedExceptionClasses actually exist, preventing silent
misconfiguration. Gated behind bleedingEdge feature toggle.

Also removes non-existent exception classes from build/phpstan.neon.

Co-Authored-By: Claude Code

Author: janedbal

build/phpstan.neon

@@ -43,7 +43,6 @@ parameters:
 			- 'PHPStan\ShouldNotHappenException'
 			- 'Symfony\Component\Console\Exception\InvalidArgumentException'
 			- 'PHPStan\BetterReflection\SourceLocator\Exception\InvalidFileLocation'
-			- 'PHPStan\BetterReflection\SourceLocator\Exception\InvalidArgumentException'
 			- 'Symfony\Component\Finder\Exception\DirectoryNotFoundException'
 			- 'InvalidArgumentException'
 			- 'PHPStan\DependencyInjection\ParameterNotFoundException'
@@ -69,7 +68,6 @@ parameters:
 			- 'PHPStan\Reflection\MissingStaticAccessorInstanceException'
 			- 'LogicException'
 			- 'Error'
-			- 'PHPStan\Analyser\Generator\TrampolineException'
 		check:
 			missingCheckedExceptionInThrows: true
 			tooWideThrowType: true

src/DependencyInjection/ContainerFactory.php

@@ -7,6 +7,7 @@
 use Nette\DI\Definitions\Statement;
 use Nette\DI\Extensions\ExtensionsExtension;
 use Nette\DI\Helpers;
+use Nette\DI\InvalidConfigurationException;
 use Nette\Schema\Context as SchemaContext;
 use Nette\Schema\Elements\AnyOf;
 use Nette\Schema\Elements\Structure;
@@ -161,6 +162,7 @@ public function create(
 
 		$container = $configurator->createContainer()->getByType(Container::class);
 		$this->validateParameters($container->getParameters(), $projectConfig['parametersSchema']);
+		$this->validateExceptionClasses($container->getByType(ReflectionProvider::class), $container->getParameters());
 		self::postInitializeContainer($container);
 
 		return $container;
@@ -364,6 +366,30 @@ private function validateParameters(array $parameters, array $parametersSchema):
 		}
 	}
 
+	/**
+	 * @param array<mixed> $parameters
+	 */
+	private function validateExceptionClasses(ReflectionProvider $reflectionProvider, array $parameters): void
+	{
+		if (
+			!array_key_exists('featureToggles', $parameters)
+			|| !is_array($parameters['featureToggles'])
+			|| !(bool) $parameters['featureToggles']['bleedingEdge']
+		) {
+			return;
+		}
+
+		foreach (['checkedExceptionClasses', 'uncheckedExceptionClasses'] as $parameterName) {
+			foreach ($parameters['exceptions'][$parameterName] ?? [] as $className) {
+				if ($reflectionProvider->hasClass($className)) {
+					continue;
+				}
+
+				throw new InvalidConfigurationException(sprintf('Class %s configured in exceptions.%s does not exist.', $className, $parameterName));
+			}
+		}
+	}
+
 	/**
 	 * @param Statement[] $statements
 	 */

tests/PHPStan/Rules/Exceptions/ThrowsVoidFunctionWithExplicitThrowPointRuleTest.php

@@ -5,6 +5,7 @@
 use PHPStan\Rules\Rule;
 use PHPStan\Testing\RuleTestCase;
 use PHPUnit\Framework\Attributes\DataProvider;
+use ThrowsVoidFunction\DifferentException;
 use ThrowsVoidFunction\MyException;
 
 /**
@@ -39,7 +40,7 @@ public static function dataRule(): array
 			],
 			[
 				false,
-				['DifferentException'],
+				[DifferentException::class],
 				[
 					[
 						'Function ThrowsVoidFunction\foo() throws exception ThrowsVoidFunction\MyException but the PHPDoc contains @throws void.',
@@ -54,7 +55,7 @@ public static function dataRule(): array
 			],
 			[
 				true,
-				['DifferentException'],
+				[DifferentException::class],
 				[
 					[
 						'Function ThrowsVoidFunction\foo() throws exception ThrowsVoidFunction\MyException but the PHPDoc contains @throws void.',

tests/PHPStan/Rules/Exceptions/ThrowsVoidMethodWithExplicitThrowPointRuleTest.php

@@ -6,6 +6,7 @@
 use PHPStan\Testing\RuleTestCase;
 use PHPUnit\Framework\Attributes\DataProvider;
 use PHPUnit\Framework\Attributes\RequiresPhp;
+use ThrowsVoidMethod\DifferentException;
 use ThrowsVoidMethod\MyException;
 use UnhandledMatchError;
 use ValueError;
@@ -42,7 +43,7 @@ public static function dataRule(): array
 			],
 			[
 				false,
-				['DifferentException'],
+				[DifferentException::class],
 				[
 					[
 						'Method ThrowsVoidMethod\Foo::doFoo() throws exception ThrowsVoidMethod\MyException but the PHPDoc contains @throws void.',
@@ -57,7 +58,7 @@ public static function dataRule(): array
 			],
 			[
 				true,
-				['DifferentException'],
+				[DifferentException::class],
 				[
 					[
 						'Method ThrowsVoidMethod\Foo::doFoo() throws exception ThrowsVoidMethod\MyException but the PHPDoc contains @throws void.',

tests/PHPStan/Rules/Exceptions/ThrowsVoidPropertyHookWithExplicitThrowPointRuleTest.php

@@ -6,6 +6,7 @@
 use PHPStan\Testing\RuleTestCase;
 use PHPUnit\Framework\Attributes\DataProvider;
 use PHPUnit\Framework\Attributes\RequiresPhp;
+use ThrowsVoidPropertyHook\DifferentException;
 
 /**
  * @extends RuleTestCase<ThrowsVoidPropertyHookWithExplicitThrowPointRule>
@@ -39,7 +40,7 @@ public static function dataRule(): array
 			],
 			[
 				false,
-				['DifferentException'],
+				[DifferentException::class],
 				[
 					[
 						'Get hook for property ThrowsVoidPropertyHook\Foo::$i throws exception ThrowsVoidPropertyHook\MyException but the PHPDoc contains @throws void.',
@@ -58,7 +59,7 @@ public static function dataRule(): array
 			],
 			[
 				true,
-				['DifferentException'],
+				[DifferentException::class],
 				[
 					[
 						'Get hook for property ThrowsVoidPropertyHook\Foo::$i throws exception ThrowsVoidPropertyHook\MyException but the PHPDoc contains @throws void.',

tests/PHPStan/Rules/Exceptions/data/throws-void-function.php

@@ -14,3 +14,8 @@ function foo(): void
 {
 	throw new MyException();
 }
+
+class DifferentException extends \Exception
+{
+
+}

tests/PHPStan/Rules/Exceptions/data/throws-void-method.php

@@ -20,3 +20,8 @@ public function doFoo(): void
 
 
 }
+
+class DifferentException extends \Exception
+{
+
+}

tests/PHPStan/Rules/Exceptions/data/throws-void-property-hook.php

@@ -27,3 +27,8 @@ class Foo
 	}
 
 }
+
+class DifferentException extends \Exception
+{
+
+}