Add test

Author: VincentLanglet

tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php

@@ -1198,7 +1198,13 @@ public function testBug13566(): void
 	public function testBug13799(): void
 	{
 		$this->treatPhpDocTypesAsCertain = true;
-		$this->analyse([__DIR__ . '/data/bug-13799.php'], []);
+		$this->analyse([__DIR__ . '/data/bug-13799.php'], [
+			[
+				'Call to function in_array() with arguments \'c\', list<\'a\'|\'b\'> and true will always evaluate to false.',
+				24,
+				'Because the type is coming from a PHPDoc, you can turn off this check by setting <fg=cyan>treatPhpDocTypesAsCertain: false</> in your <fg=cyan>%configurationFile%</>.',
+			],
+		]);
 	}
 
 }

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

@@ -20,3 +20,7 @@ function get_whitelist(): array {
 if (in_array('a', get_whitelist(), true)) {
 	echo 'ok';
 }
+
+if (in_array('c', get_whitelist(), true)) {
+	echo 'ok';
+}