Regression test

Ref phpstan/phpstan#3555

Author: ondrejmirtes

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -2103,4 +2103,17 @@ public function testLiteralString(): void
 		]);
 	}
 
+	public function testBug3555(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->analyse([__DIR__ . '/data/bug-3555.php'], [
+			[
+				'Parameter #1 $arg of method Bug3555\Enum::run() expects 1|2|3|4|5|6|7|8|9, 100 given.',
+				28,
+			],
+		]);
+	}
+
 }

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

@@ -0,0 +1,31 @@
+<?php
+
+namespace Bug3555;
+
+
+class Enum
+{
+	const A = 1;
+	const B = 2;
+	const C = 3;
+	const D = 4;
+	const E = 5;
+	const F = 6;
+	const G = 7;
+	const H = 8;
+	const I = 9;
+
+	/**
+	 * @param Enum::* $arg
+	 */
+	public function run($arg): void
+	{
+
+	}
+
+	public function doFoo()
+	{
+		$this->run(100);
+	}
+
+}