Add another test

Author: b1rdex

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -1737,4 +1737,17 @@ public function testBug4199(): void
 		]);
 	}
 
+	public function testBug4188(): void
+	{
+		if (!self::$useStaticReflectionProvider && PHP_VERSION_ID < 70400) {
+			$this->markTestSkipped('Test requires PHP 7.4.');
+		}
+
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+
+		$this->analyse([__DIR__ . '/data/bug-4188.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Methods/data/bug-4188.php

@@ -0,0 +1,32 @@
+<?php // lint >= 7.4
+
+namespace Bug4188;
+
+interface A {}
+interface B {}
+
+class Test
+{
+	/** @param array<A|B> $data */
+	public function set(array $data): void
+	{
+		$this->onlyB(array_filter(
+			$data,
+			function ($param): bool {
+				return $param instanceof B;
+			},
+		));
+	}
+
+	/** @param array<A|B> $data */
+	public function setShort(array $data): void
+	{
+		$this->onlyB(array_filter(
+			$data,
+			fn($param): bool => $param instanceof B,
+		));
+	}
+
+	/** @param B[] $data */
+	public function onlyB(array $data): void {}
+}