Reproduce result cache bug with trait aliases for traits

Author: ondrejmirtes

.github/workflows/e2e-tests.yml

@@ -124,6 +124,16 @@ jobs:
               mv src/Foo.php.orig src/Foo.php
               echo -n > phpstan-baseline.neon
               ../../bin/phpstan -vvv
+          - script: |
+              cd e2e/bug-9622-trait
+              echo -n > phpstan-baseline.neon
+              ../../bin/phpstan -vvv
+              patch -b src/Foo.php < patch-1.patch
+              cat baseline-1.neon > phpstan-baseline.neon
+              ../../bin/phpstan -vvv
+              mv src/Foo.php.orig src/Foo.php
+              echo -n > phpstan-baseline.neon
+              ../../bin/phpstan -vvv
 
     steps:
       - name: "Checkout"

e2e/bug-9622-trait/baseline-1.neon

@@ -0,0 +1,6 @@
+parameters:
+	ignoreErrors:
+		-
+			message: "#^Offset 'foo' does not exist on array\\{foo\\?\\: int\\}\\.$#"
+			count: 1
+			path: src/UsesBar.php

e2e/bug-9622-trait/patch-1.patch

@@ -0,0 +1,11 @@
+--- src/Foo.php	2023-07-13 09:01:37
++++ src/Foo.php	2023-07-13 09:02:20
+@@ -3,7 +3,7 @@
+ namespace Bug9622Trait;
+
+ /**
+- * @phpstan-type AnArray array{foo: int}
++ * @phpstan-type AnArray array{foo?: int}
+  */
+ class Foo
+ {

e2e/bug-9622-trait/phpstan-baseline.neon

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

e2e/bug-9622-trait/phpstan.neon

@@ -0,0 +1,19 @@
+<?php
+
+namespace Bug9622Trait;
+
+/**
+ * @phpstan-import-type AnArray from Foo
+ */
+trait Bar
+{
+
+	/**
+	 * @param AnArray $a
+	 */
+	public function doFoo(array $a): void
+	{
+		echo 1 + $a['foo'];
+	}
+
+}

e2e/bug-9622-trait/src/Bar.php

@@ -0,0 +1,11 @@
+<?php
+
+namespace Bug9622Trait;
+
+/**
+ * @phpstan-type AnArray array{foo: int}
+ */
+class Foo
+{
+
+}

e2e/bug-9622-trait/src/Foo.php

@@ -0,0 +1,10 @@
+<?php
+
+namespace Bug9622Trait;
+
+class UsesBar
+{
+
+	use Bar;
+
+}