Use precise Verbosity level for getArgumentsDescription

src/Rules/Comparison/ImpossibleCheckTypeHelper.php

@@ -343,7 +343,7 @@ public function getArgumentsDescription(
 			return '';
 		}
 
-		$descriptions = array_map(fn (Arg $arg): string => ($this->treatPhpDocTypesAsCertain ? $scope->getType($arg->value) : $scope->getNativeType($arg->value))->describe(VerbosityLevel::value()), $args);
+		$descriptions = array_map(fn (Arg $arg): string => ($this->treatPhpDocTypesAsCertain ? $scope->getType($arg->value) : $scope->getNativeType($arg->value))->describe(VerbosityLevel::precise()), $args);
 
 		if (count($descriptions) < 3) {
 			return sprintf(' with %s', implode(' and ', $descriptions));

tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php

@@ -146,15 +146,15 @@ public function testImpossibleCheckTypeFunctionCall(): void
 					367,
 				],
 				[
-					'Call to function is_string() with mixed will always evaluate to false.',
+					'Call to function is_string() with mixed~string will always evaluate to false.',
 					561,
 				],
 				[
-					'Call to function is_callable() with mixed will always evaluate to false.',
+					'Call to function is_callable() with mixed~callable() will always evaluate to false.',
 					572,
 				],
 				[
-					'Call to function method_exists() with \'CheckTypeFunctionCall\\\\MethodExists\' and \'testWithStringFirst…\' will always evaluate to true.',
+					'Call to function method_exists() with \'CheckTypeFunctionCall\\\\MethodExists\' and \'testWithStringFirstArgument\' will always evaluate to true.',
 					586,
 				],
 				[
@@ -330,11 +330,11 @@ public function testImpossibleCheckTypeFunctionCallWithoutAlwaysTrue(): void
 					367,
 				],
 				[
-					'Call to function is_string() with mixed will always evaluate to false.',
+					'Call to function is_string() with mixed~string will always evaluate to false.',
 					561,
 				],
 				[
-					'Call to function is_callable() with mixed will always evaluate to false.',
+					'Call to function is_callable() with mixed~callable() will always evaluate to false.',
 					572,
 				],
 				[
@@ -1102,4 +1102,16 @@ public function testAlwaysTruePregMatch(): void
 		$this->analyse([__DIR__ . '/data/always-true-preg-match.php'], []);
 	}
 
+	public function testBug11799(): void
+	{
+		$this->checkAlwaysTrueCheckTypeFunctionCall = true;
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-11799.php'], [
+			[
+				"Call to function in_array() with arguments lowercase-string, array{'publishDate', 'approvedAt', 'allowedValues'} and true will always evaluate to false.",
+				11,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Comparison/data/bug-11799.php

@@ -0,0 +1,16 @@
+<?php declare(strict_types = 1);
+
+namespace Bug11799;
+
+function getSomeInput(): string { return random_bytes(100); }
+
+function getSortBy(): string
+{
+	$sortBy = mb_strtolower(getSomeInput());
+
+	if (! in_array($sortBy, ['publishDate', 'approvedAt', 'allowedValues'], true)) {
+		// Do something
+	}
+
+	return $sortBy;
+}