Fix

Author: VincentLanglet

src/Rules/Comparison/ImpossibleCheckTypeFunctionCallRule.php

@@ -7,6 +7,7 @@
 use PHPStan\Parser\LastConditionVisitor;
 use PHPStan\Rules\Rule;
 use PHPStan\Rules\RuleErrorBuilder;
+use function count;
 use function sprintf;
 use function strtolower;
 

src/Rules/Comparison/ImpossibleCheckTypeMethodCallRule.php

@@ -10,6 +10,7 @@
 use PHPStan\Rules\Rule;
 use PHPStan\Rules\RuleErrorBuilder;
 use PHPStan\ShouldNotHappenException;
+use function count;
 use function sprintf;
 
 /**
@@ -45,7 +46,7 @@ public function processNode(Node $node, Scope $scope): array
 		}
 
 		$addTip = function (RuleErrorBuilder $ruleErrorBuilder) use ($scope, $node, $reasons): RuleErrorBuilder {
-			if (count($reasons)) {
+			if (count($reasons) > 0) {
 				return $ruleErrorBuilder->acceptsReasonsTip($reasons);
 			}
 

src/Rules/Comparison/ImpossibleCheckTypeStaticMethodCallRule.php

@@ -10,6 +10,7 @@
 use PHPStan\Rules\Rule;
 use PHPStan\Rules\RuleErrorBuilder;
 use PHPStan\ShouldNotHappenException;
+use function count;
 use function sprintf;
 
 /**
@@ -46,7 +47,6 @@ public function processNode(Node $node, Scope $scope): array
 
 		$addTip = function (RuleErrorBuilder $ruleErrorBuilder) use ($scope, $node, $reasons): RuleErrorBuilder {
 			if (count($reasons) > 0) {
-				var_dump($reasons);die;
 				return $ruleErrorBuilder->acceptsReasonsTip($reasons);
 			}
 

src/Type/Accessory/AccessoryLowercaseStringType.php

@@ -30,6 +30,7 @@
 use PHPStan\Type\Type;
 use PHPStan\Type\UnionType;
 use PHPStan\Type\VerbosityLevel;
+use function sprintf;
 
 class AccessoryLowercaseStringType implements CompoundType, AccessoryType
 {
@@ -110,9 +111,14 @@ public function isSubTypeOfWithReason(Type $otherType): IsSuperTypeOfResult
 			return $otherType->isSuperTypeOfWithReason($this);
 		}
 
-		return (new IsSuperTypeOfResult($otherType->isLowercaseString(), [
-			sprintf("%s is not lowercase.", $otherType->describe(VerbosityLevel::value())),
-		]))
+		$isLowercase = $otherType->isLowercaseString();
+
+		return (new IsSuperTypeOfResult(
+			$isLowercase,
+			$otherType->isString()->yes() && $isLowercase->no()
+				? [sprintf("%s is not lowercase.", $otherType->describe(VerbosityLevel::value()))]
+				: []
+		))
 			->and($otherType instanceof self ? IsSuperTypeOfResult::createYes() : IsSuperTypeOfResult::createMaybe());
 	}
 

tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php

@@ -1112,7 +1112,7 @@ public function testBug11799(): void
 				11,
 				"• 'publishDate' is not lowercase.
 • 'approvedAt' is not lowercase.
-• 'allowedValues' is not lowercase."
+• 'allowedValues' is not lowercase.",
 			],
 		]);
 	}