Failing test: result cache keeps an error from a rule built on collected data

.github/workflows/e2e-tests.yml

@@ -1622,6 +1622,21 @@ jobs:
               OUTPUT=$(../bashunit assert exit_code "1" "../../bin/phpstan analyse -vv --error-format raw")
               echo "$OUTPUT"
               ../bashunit assert contains 'register a class in the container; re-analysing everything.' "$OUTPUT"
+          - script: |
+              cd e2e/result-cache-collector-sweep
+              # Two errors: one from an ordinary rule, one from a rule built on collected data.
+              OUTPUT=$(../bashunit assert exit_code "1" "../../bin/phpstan analyse -vv --error-format raw")
+              echo "$OUTPUT"
+              ../bashunit assert contains 'PlainCaller.php:8:Method ResultCacheE2ECollectorSweep\PlainCaller::doPlainCaller() has invalid return type ResultCacheE2ECollectorSweep\Missing.' "$OUTPUT"
+              ../bashunit assert contains 'Caller.php:7:Call to function resultCacheE2ECollectorHelper() on a separate line has no effect.' "$OUTPUT"
+              # One new file defines both missing symbols. The files with errors are re-analysed - but
+              # the errors of the collector-backed rule are produced after the cache is written, so the
+              # file holding one is not in the cached error map and never gets swept.
+              cp appears/nsfns.php src/nsfns.php
+              OUTPUT=$(../bashunit assert exit_code "0" "../../bin/phpstan analyse -vv --error-format raw")
+              echo "$OUTPUT"
+              ../bashunit assert not_contains 'has invalid return type' "$OUTPUT"
+              ../bashunit assert not_contains 'on a separate line has no effect' "$OUTPUT"
           - script: |
               cd e2e/result-cache-extension-update
               composer install

e2e/result-cache-collector-sweep/appears/nsfns.php

@@ -0,0 +1,15 @@
+<?php declare(strict_types = 1);
+
+namespace ResultCacheE2ECollectorSweep;
+
+function resultCacheE2ECollectorHelper(): int
+{
+	echo 'side effect';
+
+	return 1;
+}
+
+class Missing
+{
+
+}

e2e/result-cache-collector-sweep/phpstan.neon

@@ -0,0 +1,5 @@
+parameters:
+	level: 4
+	tmpDir: tmp
+	paths:
+		- src

e2e/result-cache-collector-sweep/src/Caller.php

@@ -0,0 +1,8 @@
+<?php declare(strict_types = 1);
+
+namespace ResultCacheE2ECollectorSweep;
+
+function caller(): void
+{
+	resultCacheE2ECollectorHelper();
+}

e2e/result-cache-collector-sweep/src/PlainCaller.php

@@ -0,0 +1,13 @@
+<?php declare(strict_types = 1);
+
+namespace ResultCacheE2ECollectorSweep;
+
+class PlainCaller
+{
+
+	public function doPlainCaller(): ?Missing
+	{
+		return null;
+	}
+
+}

e2e/result-cache-collector-sweep/src/globalfns.php

@@ -0,0 +1,6 @@
+<?php declare(strict_types = 1);
+
+function resultCacheE2ECollectorHelper(): int
+{
+	return 1;
+}

e2e/result-cache-collector-sweep/tmp/.gitignore

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