more tests

Author: staabm

src/Reflection/ClassReflection.php

@@ -1373,13 +1373,10 @@ public function getTypeAliases(): array
 
 			$typeAliasImportTags = $resolvedPhpDoc->getTypeAliasImportTags();
 			$typeAliasTags = $resolvedPhpDoc->getTypeAliasTags();
+			$localAliases = array_map(static fn (TypeAliasTag $typeAliasTag): TypeAlias => $typeAliasTag->getTypeAlias(), $typeAliasTags);
 
 			// prevent circular imports
 			if (array_key_exists($this->getName(), self::$resolvingTypeAliasImports)) {
-				// Return only local type aliases to break the cycle.
-				// Imported aliases are not available yet, but local ones
-				// don't depend on other classes and can be returned safely.
-				$localAliases = array_map(static fn (TypeAliasTag $typeAliasTag): TypeAlias => $typeAliasTag->getTypeAlias(), $typeAliasTags);
 				if ($localAliases !== []) {
 					return $this->typeAliases = $localAliases;
 				}
@@ -1413,8 +1410,6 @@ public function getTypeAliases(): array
 
 			unset(self::$resolvingTypeAliasImports[$this->getName()]);
 
-			$localAliases = array_map(static fn (TypeAliasTag $typeAliasTag): TypeAlias => $typeAliasTag->getTypeAlias(), $typeAliasTags);
-
 			$this->typeAliases = array_filter(
 				array_merge($importedAliases, $localAliases),
 				static fn (?TypeAlias $typeAlias): bool => $typeAlias !== null,

tests/PHPStan/Rules/PhpDoc/IncompatiblePhpDocTypeRuleTest.php

@@ -492,4 +492,9 @@ public function testBug11463(): void
 		$this->analyse([__DIR__ . '/data/bug-11463.php'], []);
 	}
 
+	public function testBug11463b(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-11463b.php'], []);
+	}
+
 }

tests/PHPStan/Rules/PhpDoc/data/bug-11463b.php

@@ -0,0 +1,46 @@
+<?php declare(strict_types = 1);
+
+namespace Bug11463b;
+
+/**
+ * @phpstan-type Foo 'foo'
+ *
+ * @phpstan-import-type Bar from BarType
+ * @phpstan-import-type Baz from BazType
+ */
+class FooType
+{
+	/**
+	 * @param Bar $bar
+	 */
+	public function foo(string $bar): void {}
+
+	/**
+	 * @param Baz $bar
+	 */
+	public function baz(string $bar): void {}
+}
+
+/**
+ * @phpstan-import-type Foo from FooType
+ *
+ * @phpstan-type Bar 'bar'
+ * @phpstan-import-type Baz from BazType
+ */
+class BarType {
+	/**
+	 * @param Foo $foo
+	 */
+	public function bar($foo): string { return $foo; }
+
+	/**
+	 * @param Baz $bar
+	 */
+	public function baz(string $bar): void {}
+}
+
+/**
+ * @phpstan-type Baz 'baz'
+ */
+class BazType {
+}