Update TypeSpecifier.php

staabm · staabm · commit f4984d253d86 · 2025-03-13T17:08:46.000+01:00
diff --git a/src/Analyser/TypeSpecifier.php b/src/Analyser/TypeSpecifier.php
@@ -460,7 +460,7 @@ public function specifyTypesInCondition(
 				}
 				$newScope = $scope->filterBySpecifiedTypes($result);
 				$callType = $newScope->getType($expr->right);
-				$newContext = TypeSpecifierContext::createTruthy($callType);
+				$newContext = $context->true() ? TypeSpecifierContext::createTrue($callType) : TypeSpecifierContext::createTrue($callType)->negate();
 
 				$result = $result->unionWith($this->specifyTypesInCondition(
 					$scope,

Original file line number	Diff line number	Diff line change
`@@ -460,7 +460,7 @@ public function specifyTypesInCondition(`
`460`	`460`	`}`
`461`	`461`	`$newScope = $scope->filterBySpecifiedTypes($result);`
`462`	`462`	`$callType = $newScope->getType($expr->right);`
`463`		`- $newContext = TypeSpecifierContext::createTruthy($callType);`
	`463`	`+ $newContext = $context->true() ? TypeSpecifierContext::createTrue($callType) : TypeSpecifierContext::createTrue($callType)->negate();`
`464`	`464`
`465`	`465`	`$result = $result->unionWith($this->specifyTypesInCondition(`
`466`	`466`	`$scope,`