debug

Author: zonuexe

src/Reflection/ClassReflection.php

@@ -61,6 +61,7 @@
 use function array_unique;
 use function array_values;
 use function count;
+use function debug_backtrace;
 use function implode;
 use function in_array;
 use function is_bool;
@@ -69,6 +70,7 @@
 use function reset;
 use function sprintf;
 use function strtolower;
+use function var_dump;
 
 /**
  * @api
@@ -1066,13 +1068,18 @@ public function getParentClassesNames(): array
 	public function hasConstant(string $name): bool
 	{
 		if (!$this->getNativeReflection()->hasConstant($name)) {
+			var_dump([
+				$this->displayName =>
+				debug_backtrace(0, 1),
+			]);
 			return false;
 		}
 
 		$reflectionConstant = $this->getNativeReflection()->getReflectionConstant($name);
 		if ($reflectionConstant === false) {
 			return false;
 		}
+		//var_dump($this->reflectionProvider->hasClass($reflectionConstant->getDeclaringClass()->getName()));
 
 		return $this->reflectionProvider->hasClass($reflectionConstant->getDeclaringClass()->getName());
 	}

src/Reflection/InitializerExprTypeResolver.php

@@ -91,6 +91,7 @@
 use function min;
 use function sprintf;
 use function strtolower;
+use function var_dump;
 use const INF;
 
 #[AutowiredService]
@@ -2011,6 +2012,7 @@ function (Type $type, callable $traverse): Type {
 				continue;
 			}
 
+			//var_dump(compact('referencedClass'));
 			$constantClassReflection = $this->getReflectionProvider()->getClass($referencedClass);
 			if (!$constantClassReflection->hasConstant($constantName)) {
 				continue;
@@ -2022,6 +2024,7 @@ function (Type $type, callable $traverse): Type {
 			}
 
 			$resolvingName = sprintf('%s::%s', $constantClassReflection->getName(), $constantName);
+
 			if (array_key_exists($resolvingName, $this->currentlyResolvingClassConstant)) {
 				$types[] = new MixedType();
 				continue;
@@ -2078,6 +2081,7 @@ function (Type $type, callable $traverse): Type {
 			unset($this->currentlyResolvingClassConstant[$resolvingName]);
 			$types[] = $constantType;
 		}
+		var_dump([$constantName => $types]);
 
 		if (count($types) > 0) {
 			return TypeCombinator::union(...$types);

src/Type/ObjectType.php

@@ -873,6 +873,9 @@ public function hasConstant(string $constantName): TrinaryLogic
 		if ($class === null) {
 			return TrinaryLogic::createNo();
 		}
+		// var_dump([
+		// 	$this->describe(VerbosityLevel::precise()) => debug_backtrace(DEBUG_BACKTRACE_IGNORE_ARGS, 3),
+		// ]);
 
 		return TrinaryLogic::createFromBoolean(
 			$class->hasConstant($constantName),

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -26,6 +26,9 @@ class NodeScopeResolverTest extends TypeInferenceTestCase
 	 */
 	private static function findTestFiles(): iterable
 	{
+		yield __DIR__ . '/nsrt/bug-x.php';
+		return;
+
 		foreach (self::findTestDataFilesFromDirectory(__DIR__ . '/nsrt') as $testFile) {
 			yield $testFile;
 		}