Add non regression test for #3616

Author: VincentLanglet

tests/PHPStan/Rules/Functions/CallCallablesRuleTest.php

@@ -307,6 +307,11 @@ public function testBug9614(): void
 		$this->analyse([__DIR__ . '/data/bug-9614.php'], []);
 	}
 
+	public function testBug3616(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-3616.php'], []);
+	}
+
 	public function testBug10814(): void
 	{
 		$this->analyse([__DIR__ . '/data/bug-10814.php'], [

tests/PHPStan/Rules/Functions/data/bug-3616.php

@@ -0,0 +1,53 @@
+<?php declare(strict_types = 1);
+
+namespace Bug3616;
+
+class Factory {
+	public static function a(): void { echo 'A'; }
+	public static function b(): void { echo 'B'; }
+}
+
+class HelloWorld
+{
+	/** @var array<string, callable():void> */
+	const FACTORIES = [
+		'a' => [Factory::class, 'a'],
+		'b' => [Factory::class, 'b']
+	];
+
+	public function withLiteral(): void
+	{
+		(self::FACTORIES['a'])();
+	}
+
+	public function withVariable(string $id): void
+	{
+		if (!isset(self::FACTORIES[$id])) {
+			return;
+		}
+
+		(self::FACTORIES[$id])();
+	}
+}
+
+class HelloWorld2
+{
+	const FACTORIES = [
+		'a' => [Factory::class, 'a'],
+		'b' => [Factory::class, 'b']
+	];
+
+	public function withLiteral(): void
+	{
+		(self::FACTORIES['a'])();
+	}
+
+	public function withVariable(string $id): void
+	{
+		if (!isset(self::FACTORIES[$id])) {
+			return;
+		}
+
+		(self::FACTORIES[$id])();
+	}
+}