Fixed local ignoring using annotations in traits

Author: ondrejmirtes

src/Analyser/FileAnalyser.php

@@ -18,7 +18,6 @@
 use Roave\BetterReflection\Reflection\Exception\NotAClassReflection;
 use Roave\BetterReflection\Reflection\Exception\NotAnInterfaceReflection;
 use Roave\BetterReflection\Reflector\Exception\IdentifierNotFound;
-use function array_fill_keys;
 use function array_key_exists;
 use function array_unique;
 
@@ -165,7 +164,7 @@ public function analyseFile(
 					}
 
 					foreach ($this->getLinesToIgnore($node) as $lineToIgnore) {
-						$linesToIgnore[] = $lineToIgnore;
+						$linesToIgnore[$scope->getFileDescription()][$lineToIgnore] = true;
 					}
 
 					try {
@@ -192,43 +191,42 @@ public function analyseFile(
 					$scope,
 					$nodeCallback
 				);
-				$linesToIgnoreKeys = array_fill_keys($linesToIgnore, true);
-				$unmatchedLineIgnores = $linesToIgnoreKeys;
+				$unmatchedLineIgnores = $linesToIgnore;
 				foreach ($temporaryFileErrors as $tmpFileError) {
 					$line = $tmpFileError->getLine();
 					if (
 						$line !== null
 						&& $tmpFileError->canBeIgnored()
-						&& array_key_exists($line, $linesToIgnoreKeys)
+						&& array_key_exists($tmpFileError->getFile(), $linesToIgnore)
+						&& array_key_exists($line, $linesToIgnore[$tmpFileError->getFile()])
 					) {
-						unset($unmatchedLineIgnores[$line]);
+						unset($unmatchedLineIgnores[$tmpFileError->getFile()][$line]);
 						continue;
 					}
 
 					$fileErrors[] = $tmpFileError;
 				}
 
 				if ($this->reportUnmatchedIgnoredErrors) {
-					foreach (array_keys($unmatchedLineIgnores) as $line) {
-						$traitFilePath = null;
-						if ($scope->isInTrait()) {
-							$traitReflection = $scope->getTraitReflection();
-							if ($traitReflection->getFileName() !== false) {
-								$traitFilePath = $traitReflection->getFileName();
-							}
+					foreach ($unmatchedLineIgnores as $ignoredFile => $lines) {
+						if ($ignoredFile !== $file) {
+							continue;
+						}
+
+						foreach (array_keys($lines) as $line) {
+							$fileErrors[] = new Error(
+								sprintf('No error to ignore is reported on line %d.', $line),
+								$scope->getFileDescription(),
+								$line,
+								false,
+								$scope->getFile(),
+								null,
+								null,
+								null,
+								null,
+								'ignoredError.unmatchedOnLine'
+							);
 						}
-						$fileErrors[] = new Error(
-							sprintf('No error to ignore is reported on line %d.', $line),
-							$scope->getFileDescription(),
-							$line,
-							false,
-							$scope->getFile(),
-							$traitFilePath,
-							null,
-							null,
-							null,
-							'ignoredError.unmatchedOnLine'
-						);
 					}
 				}
 			} catch (\PhpParser\Error $e) {

tests/PHPStan/Analyser/AnalyserIntegrationTest.php

@@ -299,6 +299,12 @@ public function testBug4300(): void
 		$this->assertSame(13, $errors[0]->getLine());
 	}
 
+	public function testBug4513(): void
+	{
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-4513.php');
+		$this->assertCount(0, $errors);
+	}
+
 	/**
 	 * @param string $file
 	 * @return \PHPStan\Analyser\Error[]

tests/PHPStan/Analyser/data/bug-4513.php

@@ -0,0 +1,27 @@
+<?php
+
+namespace Bug4513;
+
+class Foo
+{
+
+	use BarTrait;
+
+}
+
+trait BarTrait
+{
+
+	public function doFoo(): void
+	{
+		// @phpstan-ignore-next-line
+		echo 'foo';
+	}
+
+	public function doBar(): void
+	{
+		// @phpstan-ignore-next-line
+		echo [];
+	}
+
+}