Disable Override check for traits

Author: VincentLanglet

src/Rules/Methods/OverridingMethodRule.php

@@ -109,6 +109,7 @@ public function processNode(Node $node, Scope $scope): array
 if (
 $this->phpVersion->supportsOverrideAttribute()
 && $this->checkMissingOverrideMethodAttribute
+&& !$scope->isInTrait()
 && !$this->hasOverrideAttribute($node->getOriginalNode())
 ) {
 $messages[] = RuleErrorBuilder::message(sprintf(

tests/PHPStan/Rules/Methods/OverridingMethodRuleTest.php

@@ -820,6 +820,17 @@ public function testBug10153(): void
 $this->analyse([__DIR__ . '/data/bug-10153.php'], $errors);
 }
 
+public function testBug12471(): void
+{
+if (PHP_VERSION_ID < 80300) {
+$this->markTestSkipped('Test requires PHP 8.3.');
+}
+
+$this->checkMissingOverrideMethodAttribute = true;
+$this->phpVersionId = PHP_VERSION_ID;
+$this->analyse([__DIR__ . '/data/bug-12471.php'], []);
+}
+
 public function testBug10165(): void
 {
 $this->phpVersionId = PHP_VERSION_ID;

tests/PHPStan/Rules/Methods/data/bug-12471.php

@@ -0,0 +1,40 @@
+<?php
+
+namespace Bug12471;
+
+trait T
+{
+public function f():void {}
+}
+
+class A {
+public function f():void {}
+}
+
+class B {
+use T;
+}
+
+class C extends A {
+use T;
+}
+
+/** @phpstan-require-extends D */
+trait TT
+{
+public function f():void {}
+}
+
+class D {}
+
+class AA extends D {
+public function f():void {}
+}
+
+class BB extends D {
+use TT;
+}
+
+class CC extends AA {
+use TT;
+}