fix class fake

Author: staabm

src/Rules/Traits/TraitAttributesRule.php

@@ -4,6 +4,7 @@
 
 use Attribute;
 use PhpParser\Node;
+use PhpParser\Node\Stmt\Class_;
 use PHPStan\Analyser\MutatingScope;
 use PHPStan\Analyser\Scope;
 use PHPStan\Reflection\ReflectionProvider;
@@ -19,6 +20,8 @@
 final class TraitAttributesRule implements Rule
 {
 
+	private int $classId = 1;
+
 	public function __construct(
 		private AttributesCheck $attributesCheck,
 		private ReflectionProvider $reflectionProvider,
@@ -41,12 +44,18 @@ public function processNode(Node $node, Scope $scope): array
 		if (!$this->reflectionProvider->hasClass($traitName->toString())) {
 			return [];
 		}
-		$classReflection = $this->reflectionProvider->getClass($traitName->toString());
+		$traitClassReflection = $this->reflectionProvider->getClass($traitName->toString());
 
 		if (!$scope instanceof MutatingScope) {
 			throw new ShouldNotHappenException();
 		}
-		$scope = $scope->enterTrait($classReflection);
+
+		$fakeClass = new Class_(null, ['stmts' => [new Node\Stmt\TraitUse([$traitName])]], ['startLine' => $this->classId, 'endLine' => $this->classId]);
+		$this->classId++;
+
+		$fakeClassReflection = $this->reflectionProvider->getAnonymousClassReflection($fakeClass, $scope);
+		$scope = $scope->enterClass($fakeClassReflection);
+		$scope = $scope->enterTrait($traitClassReflection);
 
 		$errors = $this->attributesCheck->check(
 			$scope,
@@ -55,7 +64,7 @@ public function processNode(Node $node, Scope $scope): array
 			'class',
 		);
 
-		if (count($classReflection->getNativeReflection()->getAttributes('AllowDynamicProperties')) > 0) {
+		if (count($traitClassReflection->getNativeReflection()->getAttributes('AllowDynamicProperties')) > 0) {
 			$errors[] = RuleErrorBuilder::message('Attribute class AllowDynamicProperties cannot be used with trait.')
 				->identifier('trait.allowDynamicProperties')
 				->nonIgnorable()

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

@@ -8,13 +8,23 @@
 #[Table(self::TABLE_NAME)]
 trait MyTrait
 {
-	private const int TABLE_NAME = 'table';
+	private const int TABLE_NAME = 1;
 }
 
 class X {
 	use MyTrait;
 }
 
+#[Table(self::TABLE_NAME)]
+trait MyTrait2
+{
+	private const string TABLE_NAME = 'table';
+}
+
+class Y {
+	use MyTrait2;
+}
+
 #[Attribute(Attribute::TARGET_CLASS)]
 final class Table
 {