Fix detection of shadowed trait methods

Author: ondrejmirtes

src/Analyser/NodeScopeResolver.php

@@ -4473,8 +4473,20 @@ private function processTraitUse(Node\Stmt\TraitUse $node, MutatingScope $classS
 			if (!isset($this->analysedFiles[$fileName])) {
 				continue;
 			}
+			$adaptations = [];
+			foreach ($node->adaptations as $adaptation) {
+				if ($adaptation->trait === null) {
+					$adaptations[] = $adaptation;
+					continue;
+				}
+				if ($adaptation->trait->toLowerString() !== $trait->toLowerString()) {
+					continue;
+				}
+
+				$adaptations[] = $adaptation;
+			}
 			$parserNodes = $this->parser->parseFile($fileName);
-			$this->processNodesForTraitUse($parserNodes, $traitReflection, $classScope, $node->adaptations, $nodeCallback);
+			$this->processNodesForTraitUse($parserNodes, $traitReflection, $classScope, $adaptations, $nodeCallback);
 		}
 	}
 

tests/PHPStan/Rules/Debug/DumpTypeRuleTest.php

@@ -72,4 +72,18 @@ public function testBug7803(): void
 		]);
 	}
 
+	public function testBug10377(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-10377.php'], [
+			[
+				'Dumped type: array<string, mixed>',
+				22,
+			],
+			[
+				'Dumped type: array<string, mixed>',
+				34,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Debug/data/bug-10377.php

@@ -0,0 +1,37 @@
+<?php
+
+namespace Bug10377;
+
+final class WebRequest
+{
+
+	use Headers, RequestParameters {
+		Headers::addAdditionalProperties as addAdditionalPropertiesHeaders;
+		RequestParameters::addAdditionalProperties insteadof Headers;
+	}
+
+}
+
+trait Headers
+{
+	/**
+	 * @param array<string, mixed> $additionalProperties
+	 */
+	public function addAdditionalProperties(array $additionalProperties): void
+	{
+		\PHPStan\dumpType($additionalProperties);
+	}
+}
+
+trait RequestParameters
+{
+
+	/**
+	 * @param array<string, mixed> $additionalProperties
+	 */
+	public function addAdditionalProperties(array $additionalProperties): void
+	{
+		\PHPStan\dumpType($additionalProperties);
+	}
+
+}