Improve loose comparison on intersection type

Author: staabm

src/TrinaryLogic.php

@@ -47,6 +47,18 @@ public static function createFromBoolean(bool $value): self
 		return self::$registry[$yesNo] ??= new self($yesNo);
 	}
 
+	public static function createFromBooleanType(BooleanType $type): self
+	{
+		if ($type->isTrue()->yes()) {
+			return self::createYes();
+		}
+		if ($type->isFalse()->yes()) {
+			return self::createNo();
+		}
+
+		return self::createMaybe();
+	}
+
 	private static function create(int $value): self
 	{
 		self::$registry[$value] ??= new self($value);

src/Type/Accessory/AccessoryLowercaseStringType.php

@@ -11,6 +11,7 @@
 use PHPStan\Type\BooleanType;
 use PHPStan\Type\CompoundType;
 use PHPStan\Type\Constant\ConstantArrayType;
+use PHPStan\Type\Constant\ConstantBooleanType;
 use PHPStan\Type\Constant\ConstantIntegerType;
 use PHPStan\Type\ErrorType;
 use PHPStan\Type\FloatType;
@@ -326,6 +327,9 @@ public function isScalar(): TrinaryLogic
 
 	public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
 	{
+		if ($type->isUppercaseString()->yes()) {
+			return new ConstantBooleanType(false);
+		}
 		return new BooleanType();
 	}
 

src/Type/Accessory/AccessoryUppercaseStringType.php

@@ -11,6 +11,7 @@
 use PHPStan\Type\BooleanType;
 use PHPStan\Type\CompoundType;
 use PHPStan\Type\Constant\ConstantArrayType;
+use PHPStan\Type\Constant\ConstantBooleanType;
 use PHPStan\Type\Constant\ConstantIntegerType;
 use PHPStan\Type\ErrorType;
 use PHPStan\Type\FloatType;
@@ -326,6 +327,9 @@ public function isScalar(): TrinaryLogic
 
 	public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
 	{
+		if ($type->isLowercaseString()->yes()) {
+			return new ConstantBooleanType(false);
+		}
 		return new BooleanType();
 	}
 

src/Type/IntersectionType.php

@@ -716,7 +716,9 @@ public function isScalar(): TrinaryLogic
 
 	public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
 	{
-		return new BooleanType();
+		return $this->intersectResults(
+			static fn (Type $innerType): TrinaryLogic => TrinaryLogic::createFromBooleanType($innerType->looseCompare($type, $phpVersion))
+		)->toBooleanType();
 	}
 
 	public function isOffsetAccessible(): TrinaryLogic

src/Type/UnionType.php

@@ -676,21 +676,9 @@ public function isScalar(): TrinaryLogic
 
 	public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
 	{
-		$lastResult = null;
-		foreach ($this->types as $innerType) {
-			$result = $innerType->looseCompare($type, $phpVersion);
-			if ($lastResult === null) {
-				$lastResult = $result;
-				continue;
-			}
-			if ($lastResult->equals($result)) {
-				continue;
-			}
-
-			return new BooleanType();
-		}
-
-		return $lastResult ?? new BooleanType();
+		return $this->unionResults(
+			static fn (Type $innerType): TrinaryLogic => TrinaryLogic::createFromBooleanType($innerType->looseCompare($type, $phpVersion))
+		)->toBooleanType();
 	}
 
 	public function isOffsetAccessible(): TrinaryLogic

tests/PHPStan/Analyser/nsrt/loose-comparisons.php

@@ -698,4 +698,30 @@ public function sayConstUnion(
 		assertType('bool', $constMix == $looseZero);
 	}
 
+	/**
+	 * @param uppercase-string $upper
+	 * @param lowercase-string $lower
+	 */
+	public function sayIntersection(
+		string $upper,
+		string $lower,
+		string $s,
+	): void
+	{
+		assertType('false', 'a' == $upper);
+		assertType('false', 'abc' == $upper);
+		assertType('bool', 'aBc' == $upper);
+		assertType('bool', strtoupper($s) == $upper);
+		assertType('false', strtolower($s) == $upper);
+		assertType('false', $upper == $lower);
+
+		assertType('false', 'A' == $lower);
+		assertType('false', 'ABC' == $lower);
+		assertType('bool', 'AbC' == $lower);
+		assertType('false', strtoupper($s) == $lower);
+		assertType('bool', strtolower($s) == $lower);
+		assertType('false', $lower == $upper);
+	}
+
+
 }