This wasn't that unnecessary after all

Author: jiripudil

src/Analyser/NameScope.php

@@ -23,20 +23,23 @@ class NameScope
 	/** @var array<string, true> */
 	private array $typeAliasesMap;
 
+	private bool $bypassTypeAliases;
+
 	/**
 	 * @param string|null $namespace
 	 * @param array<string, string> $uses alias(string) => fullName(string)
 	 * @param string|null $className
 	 * @param array<string, true> $typeAliasesMap
 	 */
-	public function __construct(?string $namespace, array $uses, ?string $className = null, ?string $functionName = null, ?TemplateTypeMap $templateTypeMap = null, array $typeAliasesMap = [])
+	public function __construct(?string $namespace, array $uses, ?string $className = null, ?string $functionName = null, ?TemplateTypeMap $templateTypeMap = null, array $typeAliasesMap = [], bool $bypassTypeAliases = false)
 	{
 		$this->namespace = $namespace;
 		$this->uses = $uses;
 		$this->className = $className;
 		$this->functionName = $functionName;
 		$this->templateTypeMap = $templateTypeMap ?? TemplateTypeMap::createEmpty();
 		$this->typeAliasesMap = $typeAliasesMap;
+		$this->bypassTypeAliases = $bypassTypeAliases;
 	}
 
 	public function getNamespace(): ?string
@@ -148,6 +151,16 @@ public function unsetTemplateType(string $name): self
 		);
 	}
 
+	public function bypassTypeAliases(): self
+	{
+		return new self($this->namespace, $this->uses, $this->className, $this->functionName, $this->templateTypeMap, $this->typeAliasesMap, true);
+	}
+
+	public function shouldBypassTypeAliases(): bool
+	{
+		return $this->bypassTypeAliases;
+	}
+
 	public function hasTypeAlias(string $alias): bool
 	{
 		return array_key_exists($alias, $this->typeAliasesMap);

src/PhpDoc/TypeNodeResolver.php

@@ -294,9 +294,11 @@ private function resolveIdentifierTypeNode(IdentifierTypeNode $typeNode, NameSco
 			}
 		}
 
-		$typeAlias = $this->getTypeAliasResolver()->resolveTypeAlias($typeNode->name, $nameScope);
-		if ($typeAlias !== null) {
-			return $typeAlias;
+		if (!$nameScope->shouldBypassTypeAliases()) {
+			$typeAlias = $this->getTypeAliasResolver()->resolveTypeAlias($typeNode->name, $nameScope);
+			if ($typeAlias !== null) {
+				return $typeAlias;
+			}
 		}
 
 		$templateType = $nameScope->resolveTemplateTypeName($typeNode->name);

src/Rules/Classes/LocalTypeAliasesRule.php

@@ -156,7 +156,7 @@ private function isAliasNameValid(string $aliasName, ?NameScope $nameScope): boo
 			return true;
 		}
 
-		$aliasNameResolvedType = $this->typeNodeResolver->resolve(new IdentifierTypeNode($aliasName), $nameScope);
+		$aliasNameResolvedType = $this->typeNodeResolver->resolve(new IdentifierTypeNode($aliasName), $nameScope->bypassTypeAliases());
 		return ($aliasNameResolvedType instanceof ObjectType && !in_array($aliasName, ['self', 'parent'], true))
 			|| $aliasNameResolvedType instanceof TemplateType; // aliases take precedence over type parameters, this is reported by other rules using TemplateTypeCheck
 	}