Fix #14205: Incorrect: Class referenced with incorrect case, (phpstan#5064)

Co-authored-by: Vincent Langlet <vincentlanglet@hotmail.fr>

Author: phpstan-bot

src/Rules/FunctionDefinitionCheck.php

@@ -866,6 +866,11 @@ private function getOriginalClassNamePairsFromTypeNode(Identifier|Name|ComplexTy
 				$originalCaseClassName = $originalName->toString();
 			}
 
+			if (strtolower($originalCaseClassName) !== strtolower($resolvedName)) {
+				// use alias, not just a case difference
+				return [];
+			}
+
 			if ($originalCaseClassName === $resolvedName) {
 				return [];
 			}

tests/PHPStan/Rules/Methods/ExistingClassesInTypehintsRuleTest.php

@@ -657,4 +657,9 @@ public function testBug11470(): void
 		]);
 	}
 
+	public function testBug14205(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-14205.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Methods/data/bug-14205.php

@@ -0,0 +1,15 @@
+<?php declare(strict_types = 1);
+
+namespace Bug14205\Competitie\Team;
+
+class TeamsamenstellingService {}
+
+class SamenstellingService {}
+
+namespace Bug14205\Service;
+
+use Bug14205\Competitie\Team\SamenstellingService as TeamSamenstellingService;
+
+abstract class Foo {
+	abstract public function test(): TeamSamenstellingService;
+}