Fix stale result cache with imported type aliases

.github/workflows/e2e-tests.yml

@@ -134,6 +134,20 @@ jobs:
               mv src/Bar.php.orig src/Bar.php
               echo -n > phpstan-baseline.neon
               ../../bin/phpstan -vvv
+          - script: |
+              cd e2e/bug10449
+              ../../bin/phpstan analyze
+              git apply patch.diff
+              rm phpstan-baseline.neon
+              mv after-phpstan-baseline.neon phpstan-baseline.neon
+              ../../bin/phpstan analyze -vvv
+          - script: |
+              cd e2e/bug10449b
+              ../../bin/phpstan analyze
+              git apply patch.diff
+              rm phpstan-baseline.neon
+              mv after-phpstan-baseline.neon phpstan-baseline.neon
+              ../../bin/phpstan analyze -vvv
           - script: |
               cd e2e/bug-9622
               echo -n > phpstan-baseline.neon

e2e/bug10449/.gitignore

@@ -0,0 +1 @@
+/vendor/

e2e/bug10449/after-phpstan-baseline.neon

@@ -0,0 +1,11 @@
+parameters:
+	ignoreErrors:
+		-
+			message: "#^Method App\\\\Example\\:\\:__invoke\\(\\) should return string but returns int\\.$#"
+			count: 1
+			path: src/Example.php
+
+		-
+			message: "#^Parameter \\#1 \\$s of method App\\\\Example\\:\\:needsString\\(\\) expects string, int given\\.$#"
+			count: 1
+			path: src/Example.php

e2e/bug10449/composer.json

@@ -0,0 +1,16 @@
+{
+    "name": "devnix/phpstan-reproducer-10449",
+    "type": "project",
+    "license": "MIT",
+    "autoload": {
+        "psr-4": {
+            "App\\": "src/"
+        }
+    },
+    "authors": [
+        {
+            "name": "Pablo Largo Mohedano",
+            "email": "devnix.code@gmail.com"
+        }
+    ]
+}

e2e/bug10449/patch.diff

@@ -0,0 +1,21 @@
+diff --git a/e2e/bug10449/src/Query/ExampleQueryHandler.php b/e2e/bug10449/src/Query/ExampleQueryHandler.php
+index e9bc1d59f..f5d1c07bf 100644
+--- a/e2e/bug10449/src/Query/ExampleQueryHandler.php
++++ b/e2e/bug10449/src/Query/ExampleQueryHandler.php
+@@ -7,13 +7,13 @@ namespace App\Query;
+ use App\Bus\QueryHandlerInterface;
+
+ /**
+- * @phpstan-type Return string
++ * @phpstan-type Return int
+  */
+ final class ExampleQueryHandler implements QueryHandlerInterface
+ {
+     /** @return Return */
+     public function __invoke(ExampleQuery $exampleQuery)
+     {
+-        return '1';
++        return 1;
+     }
+ }
+\ No newline at end of file

e2e/bug10449/phpstan-baseline.neon

@@ -0,0 +1,2 @@
+parameters:
+	ignoreErrors: []

e2e/bug10449/phpstan.dist.neon

@@ -0,0 +1,7 @@
+includes:
+   - phpstan-baseline.neon
+
+parameters:
+    level: 9
+    paths:
+        - src

e2e/bug10449/src/Bus/QueryBusInterface.php

@@ -0,0 +1,17 @@
+<?php
+
+declare(strict_types=1);
+
+namespace App\Bus;
+
+interface QueryBusInterface
+{
+    /**
+     * @template T
+     *
+     * @param QueryInterface<T> $query
+     *
+     * @return T
+     */
+    public function handle(QueryInterface $query);
+}

e2e/bug10449/src/Bus/QueryHandlerInterface.php

@@ -0,0 +1,9 @@
+<?php
+
+declare(strict_types=1);
+
+namespace App\Bus;
+
+interface QueryHandlerInterface
+{
+}

e2e/bug10449/src/Bus/QueryInterface.php

@@ -0,0 +1,10 @@
+<?php
+
+declare(strict_types=1);
+
+namespace App\Bus;
+
+/** @template T */
+interface QueryInterface
+{
+}

e2e/bug10449/src/Example.php

@@ -0,0 +1,23 @@
+<?php
+
+declare(strict_types=1);
+
+namespace App;
+
+use App\Bus\QueryBusInterface;
+
+final class Example
+{
+    public function __construct(private QueryBusInterface $queryBus)
+    {
+    }
+
+    public function __invoke(): string
+    {
+        $value = $this->queryBus->handle(new Query\ExampleQuery());
+        $this->needsString($value);
+        return $value;
+    }
+
+    private function needsString(string $s):void {}
+}

e2e/bug10449/src/Query/ExampleQuery.php

@@ -0,0 +1,15 @@
+<?php
+
+declare(strict_types=1);
+
+namespace App\Query;
+
+use App\Bus\QueryInterface;
+
+/**
+ * @phpstan-import-type Return from ExampleQueryHandler
+ * @implements QueryInterface<Return>
+ */
+final class ExampleQuery implements QueryInterface
+{
+}

e2e/bug10449/src/Query/ExampleQueryHandler.php

@@ -0,0 +1,19 @@
+<?php
+
+declare(strict_types=1);
+
+namespace App\Query;
+
+use App\Bus\QueryHandlerInterface;
+
+/**
+ * @phpstan-type Return string
+ */
+final class ExampleQueryHandler implements QueryHandlerInterface
+{
+    /** @return Return */
+    public function __invoke(ExampleQuery $exampleQuery)
+    {
+        return '1';
+    }
+}

e2e/bug10449b/.gitignore

@@ -0,0 +1 @@
+/vendor/

e2e/bug10449b/after-phpstan-baseline.neon

@@ -0,0 +1,11 @@
+parameters:
+	ignoreErrors:
+		-
+			message: "#^Method App\\\\Example\\:\\:__invoke\\(\\) should return string but returns int\\.$#"
+			count: 1
+			path: src/Example.php
+
+		-
+			message: "#^Parameter \\#1 \\$s of method App\\\\Example\\:\\:needsString\\(\\) expects string, int given\\.$#"
+			count: 1
+			path: src/Example.php

e2e/bug10449b/composer.json

@@ -0,0 +1,16 @@
+{
+    "name": "devnix/phpstan-reproducer-10449",
+    "type": "project",
+    "license": "MIT",
+    "autoload": {
+        "psr-4": {
+            "App\\": "src/"
+        }
+    },
+    "authors": [
+        {
+            "name": "Pablo Largo Mohedano",
+            "email": "devnix.code@gmail.com"
+        }
+    ]
+}