simplify MbStrlenFunctionReturnTypeExtension

Author: staabm

src/Type/Php/MbStrlenFunctionReturnTypeExtension.php

@@ -8,7 +8,6 @@
 use PHPStan\Reflection\FunctionReflection;
 use PHPStan\Reflection\ParametersAcceptorSelector;
 use PHPStan\ShouldNotHappenException;
-use PHPStan\Type\BooleanType;
 use PHPStan\Type\Constant\ConstantBooleanType;
 use PHPStan\Type\Constant\ConstantIntegerType;
 use PHPStan\Type\Constant\ConstantStringType;
@@ -93,16 +92,7 @@ public function getTypeFromFunctionCall(
 		}
 
 		$argType = $scope->getType($args[0]->value);
-
-		if ($argType->isSuperTypeOf(new BooleanType())->yes()) {
-			$constantScalars = TypeCombinator::remove($argType, new BooleanType())->getConstantScalarTypes();
-			if (count($constantScalars) > 0) {
-				$constantScalars[] = new ConstantBooleanType(true);
-				$constantScalars[] = new ConstantBooleanType(false);
-			}
-		} else {
-			$constantScalars = $argType->getConstantScalarTypes();
-		}
+		$constantScalars = $argType->getConstantScalarTypes();
 
 		$lengths = [];
 		foreach ($constantScalars as $constantScalar) {

tests/PHPStan/Analyser/nsrt/bug-10952b.php

@@ -37,5 +37,14 @@ public function test(): void
 			mb_strlen($string) > 0 => assertType('non-empty-string', $string),
 			default => assertType("''", $string),
 		};
+
+		assertType('int<0, 1>', strlen($this->getBool()));
+		assertType('int<0, 1>', mb_strlen($this->getBool()));
 	}
+
+	public function getBool(): bool
+	{
+		return rand(0, 1) === 1;
+	}
+
 }