Fix trait constant value comparison resolving self:: in wrong context

- Fixed ConflictingTraitConstantsRule to resolve trait constant value expressions
  in the context of the using class, not the trait itself
- When a trait constant uses self::CONST, it should resolve against the using class
  since that's how PHP evaluates trait constants at runtime
- New regression test in tests/PHPStan/Rules/Traits/data/bug-11351.php

Author: VincentLanglet

src/Rules/Traits/ConflictingTraitConstantsRule.php

@@ -80,10 +80,7 @@ public function processNode(Node $node, Scope $scope): array
 				$classConstantValueType = $this->initializerExprTypeResolver->getType($const->value, InitializerExprContext::fromClassReflection($classReflection));
 				$traitConstantValueType = $this->initializerExprTypeResolver->getType(
 					$immediateTraitConstant->getValueExpression(),
-					InitializerExprContext::fromClass(
-						$immediateTraitConstant->getDeclaringClass()->getName(),
-						$immediateTraitConstant->getDeclaringClass()->getFileName() !== false ? $immediateTraitConstant->getDeclaringClass()->getFileName() : null,
-					),
+					InitializerExprContext::fromClassReflection($classReflection),
 				);
 				if ($classConstantValueType->equals($traitConstantValueType)) {
 					continue;

tests/PHPStan/Rules/Traits/ConflictingTraitConstantsRuleTest.php

@@ -85,4 +85,10 @@ public function testBug13119(): void
 		$this->analyse([__DIR__ . '/data/bug-13119.php'], []);
 	}
 
+	#[RequiresPhp('>= 8.2')]
+	public function testBug11351(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-11351.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Traits/data/bug-11351.php

@@ -0,0 +1,45 @@
+<?php // lint >= 8.2
+
+declare(strict_types = 1);
+
+namespace Bug11351;
+
+trait TA
+{
+	protected const A = [
+		self::CA => 'CA',
+	];
+}
+
+class A
+{
+	use TA;
+	public const CA = 'abc';
+}
+
+trait TB
+{
+	protected const B = [
+		'key' => self::CB,
+	];
+}
+
+class B
+{
+	use TB;
+	public const CB = 'value';
+}
+
+trait TC
+{
+	protected const C = [
+		self::CC1 => self::CC2,
+	];
+}
+
+class C
+{
+	use TC;
+	public const CC1 = 'key';
+	public const CC2 = 'value';
+}