diff --git a/src/Rules/Methods/MissingMethodReturnTypehintRule.php b/src/Rules/Methods/MissingMethodReturnTypehintRule.php
index 0e56ba32f1..0831e51719 100644
--- a/src/Rules/Methods/MissingMethodReturnTypehintRule.php
+++ b/src/Rules/Methods/MissingMethodReturnTypehintRule.php
@@ -32,6 +32,13 @@ public function getNodeType(): string
 	public function processNode(Node $node, Scope $scope): array
 	{
 		$methodReflection = $node->getMethodReflection();
+		if ($scope->isInTrait()) {
+			$methodNode = $node->getOriginalNode();
+			$originalMethodName = $methodNode->getAttribute('originalTraitMethodName');
+			if ($originalMethodName === '__construct') {
+				return [];
+			}
+		}
 		$returnType = ParametersAcceptorSelector::selectSingle($methodReflection->getVariants())->getReturnType();
 
 		if ($returnType instanceof MixedType && !$returnType->isExplicitMixed()) {
diff --git a/tests/PHPStan/Rules/Methods/MissingMethodReturnTypehintRuleTest.php b/tests/PHPStan/Rules/Methods/MissingMethodReturnTypehintRuleTest.php
index 320bd2dc08..cb8971132c 100644
--- a/tests/PHPStan/Rules/Methods/MissingMethodReturnTypehintRuleTest.php
+++ b/tests/PHPStan/Rules/Methods/MissingMethodReturnTypehintRuleTest.php
@@ -88,4 +88,9 @@ public function testBug4758(): void
 		$this->analyse([__DIR__ . '/data/bug-4758.php'], []);
 	}
 
+	public function testBug9571(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-9571.php'], []);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Methods/data/bug-9571.php b/tests/PHPStan/Rules/Methods/data/bug-9571.php
new file mode 100644
index 0000000000..e9c1e40f55
--- /dev/null
+++ b/tests/PHPStan/Rules/Methods/data/bug-9571.php
@@ -0,0 +1,19 @@
+<?php
+
+namespace Bug9571;
+
+trait Foo {
+	public function __construct() {}
+}
+
+class HelloWorld
+{
+	use Foo {
+		__construct as baseConstructor;
+	}
+
+	public function __construct()
+	{
+		$this->baseConstructor();
+	}
+}