support truethy/falsey

Author: staabm

src/Analyser/TypeSpecifier.php

@@ -666,12 +666,12 @@ public function specifyTypesInCondition(
 
 			if ($context->true()) {
 				if (
-					$scope->getType($expr->left)->isFalse()->yes()
+					$scope->getType($expr->left)->toBoolean()->isFalse()->yes()
 				) {
 					$types = $rightTypes->normalize($rightScope);
 				} elseif (
-					$scope->getType($expr->left)->isTrue()->yes()
-					|| $scope->getType($expr->right)->isFalse()->yes()
+					$scope->getType($expr->left)->toBoolean()->isTrue()->yes()
+					|| $scope->getType($expr->right)->toBoolean()->isFalse()->yes()
 				) {
 					$types = $leftTypes->normalize($scope);
 				} else {

tests/PHPStan/Analyser/nsrt/bug-11276.php

@@ -14,6 +14,14 @@ function doFoo(int $i, int $j, $arr): void
 		assertType('non-empty-array', $arr);
 	}
 
+	if ("0" || array_key_exists($i, $arr)) {
+		assertType('non-empty-array', $arr);
+	}
+
+	if (array_key_exists($i, $arr) || "0") {
+		assertType('non-empty-array', $arr);
+	}
+
 	if (true || array_key_exists($i, $arr)) {
 		assertType('mixed', $arr);
 	}
@@ -22,6 +30,14 @@ function doFoo(int $i, int $j, $arr): void
 		assertType('mixed', $arr);
 	}
 
+	if ("1" || array_key_exists($i, $arr)) {
+		assertType('mixed', $arr);
+	}
+
+	if (array_key_exists($i, $arr) || "1") {
+		assertType('mixed', $arr);
+	}
+
 	if (array_key_exists($i, $arr) || array_key_exists($j, $arr)) {
 		assertType('non-empty-array', $arr);
 	}