Fix ternary-in-condition analysis explosion

Author: ondrejmirtes

src/Analyser/TypeSpecifier.php

@@ -1120,6 +1120,7 @@ public function specifyTypesInCondition(
 		} elseif (
 			$expr instanceof Expr\Ternary
 			&& !$context->null()
+			&& !$expr->cond instanceof Expr\Ternary
 		) {
 			$ifExpr = $expr->if ?? $expr->cond;
 			$conditionExpr = new BooleanOr(

tests/PHPStan/Analyser/AnalyserIntegrationTest.php

@@ -427,6 +427,13 @@ public function testBug4702(): void
 		$this->assertNoErrors($errors);
 	}
 
+	#[RequiresPhp('>= 8.1')]
+	public function testBug14100(): void
+	{
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-14100.php');
+		$this->assertNoErrors($errors);
+	}
+
 	public function testFunctionThatExistsOn72AndLater(): void
 	{
 		$errors = $this->runAnalyse(__DIR__ . '/data/ldap-exop-passwd.php');

tests/PHPStan/Analyser/data/bug-14100.php

@@ -0,0 +1,60 @@
+<?php // lint >= 8.1
+
+namespace Bug14100;
+
+class Locality
+{
+
+	public function getParent(): ?self
+	{
+		return null;
+	}
+
+	public function isShownInFilter(): bool
+	{
+		return false;
+	}
+
+	public function getId(): int
+	{
+		return 1;
+	}
+
+	public function getType(): LocalityType
+	{
+		return LocalityType::CITY;
+	}
+
+}
+
+enum LocalityType
+{
+
+	case REGION;
+	case RESORT;
+	case MOUNTAINS;
+	case ISLAND;
+	case WINE_AREA;
+	case CITY;
+
+	public function contains(self $s): bool
+	{
+		return false;
+	}
+
+}
+
+/** @param list<Locality> $localities */
+function foo(array $localities): void
+{
+	usort($localities, static fn (Locality $a, Locality $b): int => (int) ($b->getParent() !== null) <=> (int) ($a->getParent() !== null)
+		?: (int) $a->getType()->contains(LocalityType::REGION) <=> (int) $b->getType()->contains(LocalityType::REGION)
+			?: (int) $b->getType()->contains(LocalityType::CITY) <=> (int) $a->getType()->contains(LocalityType::CITY)
+				?: (int) $b->getType()->contains(LocalityType::RESORT) <=> (int) $a->getType()->contains(LocalityType::RESORT)
+					?: (int) $b->getType()->contains(LocalityType::MOUNTAINS) <=> (int) $a->getType()->contains(LocalityType::MOUNTAINS)
+						?: (int) $b->getType()->contains(LocalityType::ISLAND) <=> (int) $a->getType()->contains(LocalityType::ISLAND)
+							?: (int) $b->getType()->contains(LocalityType::WINE_AREA) <=> (int) $a->getType()->contains(LocalityType::WINE_AREA)
+								?: (int) $b->isShownInFilter() <=> (int) $a->isShownInFilter()
+									?: $a->getId() <=> $b->getId()
+	);
+}