Cover a file newly appearing in a scanDirectories directory

The scanned file fixtures exercise editing and deleting a scanned file, but not
one appearing: a new file in a scanDirectories directory may define a symbol
that is reported as unknown somewhere, which is what the $scannedFileAddedOrEdited
branch re-analyses the files with errors for.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

Author: 2 people

.github/workflows/e2e-tests.yml

@@ -259,6 +259,21 @@ jobs:
               echo "$OUTPUT"
               ../bashunit -a contains 'Result cache restored. 1 file will be reanalysed.' "$OUTPUT"
               ../bashunit -a contains 'Foo.php:10:Call to method doDep() on an unknown class ResultCacheE2EScanned2\Dep.' "$OUTPUT"
+          - script: |
+              cd e2e/result-cache-scanned-new-file
+              OUTPUT=$(../bashunit -a exit_code "1" "../../bin/phpstan analyse -vv --error-format raw")
+              echo "$OUTPUT"
+              ../bashunit -a contains 'UsesNew.php:10:Instantiated class ResultCacheE2EScannedNewFile\NewlyScanned not found.' "$OUTPUT"
+              # A file that newly appears in a scanDirectories directory may define a symbol that was
+              # reported as unknown somewhere, so the files with errors are re-analysed too - the same
+              # way a new analysed file makes them re-analysed. src/Foo.php is still left alone.
+              mv new-file/NewlyScanned.php scanned/NewlyScanned.php
+              OUTPUT=$(../bashunit -a exit_code "1" "../../bin/phpstan analyse -vv --error-format raw")
+              echo "$OUTPUT"
+              ../bashunit -a contains 'Scanned files changed (1); re-analysing only the files depending on them.' "$OUTPUT"
+              ../bashunit -a contains 'Result cache restored. 1 file will be reanalysed.' "$OUTPUT"
+              ../bashunit -a not_contains 'Instantiated class ResultCacheE2EScannedNewFile\NewlyScanned not found.' "$OUTPUT"
+              ../bashunit -a contains 'UsesNew.php:10:Method ResultCacheE2EScannedNewFile\UsesNew::doUsesNew() should return int but returns string.' "$OUTPUT"
           - script: |
               cd e2e/result-cache-scanned-trait
               ../../bin/phpstan analyse

e2e/result-cache-scanned-new-file/new-file/NewlyScanned.php

@@ -0,0 +1,13 @@
+<?php
+
+namespace ResultCacheE2EScannedNewFile;
+
+class NewlyScanned
+{
+
+	public function doNew(): string
+	{
+		return 'foo';
+	}
+
+}

e2e/result-cache-scanned-new-file/phpstan.neon

@@ -0,0 +1,7 @@
+parameters:
+	level: 8
+	tmpDir: tmp
+	paths:
+		- src
+	scanDirectories:
+		- scanned

e2e/result-cache-scanned-new-file/scanned/Dep.php

@@ -0,0 +1,13 @@
+<?php
+
+namespace ResultCacheE2EScannedNewFile;
+
+class Dep
+{
+
+	public function doDep(): int
+	{
+		return 1;
+	}
+
+}

e2e/result-cache-scanned-new-file/src/Foo.php

@@ -0,0 +1,13 @@
+<?php
+
+namespace ResultCacheE2EScannedNewFile;
+
+class Foo
+{
+
+	public function doFoo(Dep $dep): int
+	{
+		return $dep->doDep();
+	}
+
+}

e2e/result-cache-scanned-new-file/src/UsesNew.php

@@ -0,0 +1,13 @@
+<?php
+
+namespace ResultCacheE2EScannedNewFile;
+
+class UsesNew
+{
+
+	public function doUsesNew(): int
+	{
+		return (new NewlyScanned())->doNew();
+	}
+
+}

e2e/result-cache-scanned-new-file/tmp/.gitignore

@@ -0,0 +1,2 @@
+*
+!.*