Add non-regression tests for phpstan/phpstan#4608

Ensure that union method names ('abc'|'not_abc') on anonymous classes
correctly report errors for dynamic method calls, call_user_func, and
array callable invocations.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

tests/PHPStan/Rules/Functions/CallCallablesRuleTest.php

@@ -364,6 +364,16 @@ public function testPipeOperator(): void
 		]);
 	}
 
+	public function testBug4608(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-4608-callables.php'], [
+			[
+				"Trying to invoke array{class@anonymous/tests/PHPStan/Rules/Functions/data/bug-4608-callables.php:5, 'abc'|'not_abc'} but it might not be a callable.",
+				11,
+			],
+		]);
+	}
+
 	public function testMaybeNotCallable(): void
 	{
 		$errors = [];

tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php

@@ -2817,4 +2817,14 @@ public function testBug14312b(): void
 		$this->analyse([__DIR__ . '/data/bug-14312b.php'], []);
 	}
 
+	public function testBug4608(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-4608-call-user-func.php'], [
+			[
+				"Parameter #1 \$callback of function call_user_func expects callable(): mixed, array{class@anonymous/tests/PHPStan/Rules/Functions/data/bug-4608-call-user-func.php:5, 'abc'|'not_abc'} given.",
+				11,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Functions/data/bug-4608-call-user-func.php

@@ -0,0 +1,11 @@
+<?php declare(strict_types=1);
+
+namespace Bug4608CallUserFunc;
+
+$c = new class {
+	public function abc(): void {}
+};
+
+$s = rand(0, 1) ? 'abc' : 'not_abc';
+
+call_user_func([$c, $s]);

tests/PHPStan/Rules/Functions/data/bug-4608-callables.php

@@ -0,0 +1,11 @@
+<?php declare(strict_types=1);
+
+namespace Bug4608Callables;
+
+$c = new class {
+	public function abc(): void {}
+};
+
+$s = rand(0, 1) ? 'abc' : 'not_abc';
+
+[$c, $s]();

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -3962,4 +3962,17 @@ public function testBug11463(): void
 		]);
 	}
 
+	public function testBug4608(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->analyse([__DIR__ . '/data/bug-4608.php'], [
+			[
+				'Call to an undefined method class@anonymous/tests/PHPStan/Rules/Methods/data/bug-4608.php:5::not_abc().',
+				11,
+			],
+		]);
+	}
+
 }

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

@@ -0,0 +1,11 @@
+<?php declare(strict_types=1);
+
+namespace Bug4608;
+
+$c = new class {
+	public function abc(): void {}
+};
+
+$s = rand(0, 1) ? 'abc' : 'not_abc';
+
+$c->{$s}();