diff --git a/tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php b/tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php
index 726954bb66..5ced1208cc 100644
--- a/tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php
+++ b/tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php
@@ -1007,6 +1007,18 @@ public function testBug12755(): void
 		]);
 	}
 
+	public function testBugStrictRule147(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-strict-147.php'], []);
+	}
+
+	public function testBugStrictRule143(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-strict-143.php'], []);
+	}
+
 	public function testBug12412(): void
 	{
 		$this->treatPhpDocTypesAsCertain = true;
diff --git a/tests/PHPStan/Rules/Comparison/data/bug-strict-143.php b/tests/PHPStan/Rules/Comparison/data/bug-strict-143.php
new file mode 100644
index 0000000000..e19396e382
--- /dev/null
+++ b/tests/PHPStan/Rules/Comparison/data/bug-strict-143.php
@@ -0,0 +1,7 @@
+<?php declare(strict_types = 1);
+
+namespace BugStrict143;
+
+function foo(string $key, array $arr): void {
+	$found = array_key_exists($key . 'foo', $arr) && array_key_exists($key . 'bar', $arr);
+}
diff --git a/tests/PHPStan/Rules/Comparison/data/bug-strict-147.php b/tests/PHPStan/Rules/Comparison/data/bug-strict-147.php
new file mode 100644
index 0000000000..01fec702d6
--- /dev/null
+++ b/tests/PHPStan/Rules/Comparison/data/bug-strict-147.php
@@ -0,0 +1,9 @@
+<?php declare(strict_types = 1);
+
+namespace BugStrict147;
+
+$array = ['a', 'c', 'b'];
+asort($array);
+if (array_is_list($array)) {
+	print 'array was in order';
+}