Add test

Author: VincentLanglet

tests/PHPStan/Rules/PhpDoc/WrongVariableNameInVarTagRuleTest.php

@@ -521,6 +521,10 @@ public function testBug12457(): void
 				'PHPDoc tag @var with type array{numeric-string} is not subtype of type array{lowercase-string&numeric-string&uppercase-string}.',
 				13,
 			],
+			[
+				'PHPDoc tag @var with type callable(): string is not subtype of type callable(): numeric-string&lowercase-string&uppercase-string.',
+				22,
+			],
 		]);
 	}
 

tests/PHPStan/Rules/PhpDoc/data/bug-12457.php

@@ -12,4 +12,13 @@ public function sayHello(array $a): void
 		/** @var array{numeric-string} $b */
 		$b = $a;
 	}
+
+	/**
+	 * @param callable(): numeric-string&uppercase-string&lowercase-string $a
+	 */
+	public function sayHello2(callable $a): void
+	{
+		/** @var callable(): string $b */
+		$b = $a;
+	}
 }