Added regression test

Author: staabm

tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php

@@ -1085,4 +1085,16 @@ public function testBug9666(): void
 		]);
 	}
 
+	public function testBug9445(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-9445.php'], []);
+	}
+
+	public function testBug7773(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-7773.php'], []);
+	}
+
 }

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

@@ -0,0 +1,40 @@
+<?php declare(strict_types=1);
+
+namespace Bug7773;
+
+class JSONEncodingException extends \Exception
+{
+}
+
+class JSONDecodingException extends \Exception
+{
+}
+
+class HelloWorld
+{
+	/**
+	 * Encodes the data as JSON
+	 * @param array<mixed> $data json array
+	 * @return string json string
+	 * @throws JSONEncodingException
+	 */
+	public static function JSONEncode(array $data): string
+	{
+		if (!is_string($data = json_encode($data)))
+			throw new JSONEncodingException();
+		return $data;
+	}
+
+	/**
+	 * Decodes the JSON data as an array
+	 * @param string $data json string
+	 * @return array<mixed> json array
+	 * @throws JSONDecodingException
+	 */
+	public static function JSONDecode(string $data): array
+	{
+		if (!is_array($data = json_decode($data, true)))
+			throw new JSONDecodingException();
+		return $data;
+	}
+}

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

@@ -0,0 +1,20 @@
+<?php declare(strict_types=1);
+
+namespace Bug9445;
+
+class Foo
+{
+	public int $id;
+	public null|self $parent;
+
+	public function contains(self $foo): bool
+	{
+		do {
+			if ($this->id === $foo->id) {
+				return true;
+			}
+		} while (!is_null($foo = $foo->parent));
+
+		return false;
+	}
+}