fix

Author: staabm

src/Analyser/TypeSpecifier.php

@@ -457,13 +457,13 @@ public function specifyTypesInCondition(
 			) {
 				$newScope = $scope->filterBySpecifiedTypes($result);
 				$callType = $newScope->getType($expr->right);
-				$newContext = TypeSpecifierContext::createTrue($callType);
+				$newContext = TypeSpecifierContext::createTruthy($callType);
 
-				return $this->specifyTypesInCondition(
+				$result = $result->unionWith($this->specifyTypesInCondition(
 					$scope,
 					$expr->right,
 					$newContext,
-				)->setRootExpr($expr);
+				)->setRootExpr($expr));
 			}
 
 			return $result;

src/Analyser/TypeSpecifierContext.php

@@ -45,19 +45,19 @@ public static function createTrue(?Type $returnType = null): self
 		return self::create(self::CONTEXT_TRUE, $returnType);
 	}
 
-	public static function createTruthy(): self
+	public static function createTruthy(?Type $returnType = null): self
 	{
-		return self::create(self::CONTEXT_TRUTHY);
+		return self::create(self::CONTEXT_TRUTHY, $returnType);
 	}
 
 	public static function createFalse(?Type $returnType = null): self
 	{
 		return self::create(self::CONTEXT_FALSE, $returnType);
 	}
 
-	public static function createFalsey(): self
+	public static function createFalsey(?Type $returnType = null): self
 	{
-		return self::create(self::CONTEXT_FALSEY);
+		return self::create(self::CONTEXT_FALSEY, $returnType);
 	}
 
 	public static function createNull(): self