diff --git a/src/Rules/Methods/OverridingMethodRule.php b/src/Rules/Methods/OverridingMethodRule.php
index 29a936b35a..f5022dc94c 100644
--- a/src/Rules/Methods/OverridingMethodRule.php
+++ b/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(
diff --git a/tests/PHPStan/Rules/Methods/OverridingMethodRuleTest.php b/tests/PHPStan/Rules/Methods/OverridingMethodRuleTest.php
index 826586689a..de2f2e9de3 100644
--- a/tests/PHPStan/Rules/Methods/OverridingMethodRuleTest.php
+++ b/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;
diff --git a/tests/PHPStan/Rules/Methods/data/bug-12471.php b/tests/PHPStan/Rules/Methods/data/bug-12471.php
new file mode 100644
index 0000000000..fd242cc639
--- /dev/null
+++ b/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;
+}