Add test for PHPDoc type incompatible with native value

Tests that when a dynamicConstantNames constant has a @var PHPDoc type
that is incompatible with its actual value (e.g. @var int on a null
constant), the PHPDoc type is used as-is.

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

Author: 2 people

tests/PHPStan/Analyser/data/dynamic-constant.php

@@ -19,6 +19,9 @@ class DynamicConstantClass
 
 	/** @var list<string> */
 	const DYNAMIC_EMPTY_ARRAY_WITH_PHPDOC_CONSTANT = [];
+
+	/** @var int */
+	const DYNAMIC_INCOMPATIBLE_PHPDOC_CONSTANT = null;
 }
 
 class NoDynamicConstantClass
@@ -37,5 +40,6 @@ private function rip()
 		assertType('string|null', GLOBAL_DYNAMIC_CONSTANT_WITH_EXPLICIT_TYPES);
 		assertType('string|null', DynamicConstantClass::DYNAMIC_NULL_WITH_PHPDOC_CONSTANT);
 		assertType('list<string>', DynamicConstantClass::DYNAMIC_EMPTY_ARRAY_WITH_PHPDOC_CONSTANT);
+		assertType('int', DynamicConstantClass::DYNAMIC_INCOMPATIBLE_PHPDOC_CONSTANT);
 	}
 }

tests/PHPStan/Analyser/dynamic-constants.neon

@@ -6,6 +6,7 @@ parameters:
 		- DynamicConstants\DynamicConstantClass::DYNAMIC_CONSTANT_IN_CLASS
 		- DynamicConstants\DynamicConstantClass::DYNAMIC_NULL_WITH_PHPDOC_CONSTANT
 		- DynamicConstants\DynamicConstantClass::DYNAMIC_EMPTY_ARRAY_WITH_PHPDOC_CONSTANT
+		- DynamicConstants\DynamicConstantClass::DYNAMIC_INCOMPATIBLE_PHPDOC_CONSTANT
 		- GLOBAL_DYNAMIC_CONSTANT
 		DynamicConstants\DynamicConstantClass::DYNAMIC_CONSTANT_WITH_EXPLICIT_TYPES_IN_CLASS: 'string|null'
 		GLOBAL_DYNAMIC_CONSTANT_WITH_EXPLICIT_TYPES: 'string|null'