Add tests

Author: VincentLanglet

tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php

@@ -987,4 +987,16 @@ public function testBug13151(): void
 		$this->analyse([__DIR__ . '/data/bug-13151.php'], []);
 	}
 
+	public function testBug8818(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-8818.php'], []);
+	}
+
+	public function testBug12755(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-12755.php'], []);
+	}
+
 }

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

@@ -0,0 +1,35 @@
+<?php declare(strict_types = 1);
+
+namespace Bug12755;
+
+class HelloWorld
+{
+	/**
+	 * @param array{
+	 *     key1: ?int,
+	 *     key2: ?string,
+	 * } $myArray
+	 */
+	public function testOther(array $myArray): ?\stdClass
+	{
+		if (\in_array(null, $myArray, true)) {
+			return null;
+		}
+
+		return (object) $myArray;
+	}
+
+	/**
+	 * @param array{
+	 *     key1: ?bool,
+	 * } $myArray
+	 */
+	public function testBool(array $myArray): ?\stdClass
+	{
+		if (\in_array(null, $myArray, true)) {
+			return null;
+		}
+
+		return (object) $myArray;
+	}
+}

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

@@ -0,0 +1,20 @@
+<?php declare(strict_types = 1);
+
+namespace Bug8818;
+
+class MyEnum {
+	public const ONE = 'one';
+	public const TWO = 'two';
+	public const THREE = 'three';
+}
+
+class HelloWorld
+{
+	/**
+	 * @param list<MyEnum::*> $stack
+	 */
+	public function sayHello(array $stack): bool
+	{
+		return count($stack) === 1 && in_array(MyEnum::ONE, $stack, true);
+	}
+}