Regression test

Closes phpstan/phpstan#12544
phpstan · Feb 9, 2025 · e664bed · e664bed
1 parent 39bfb8c
commit e664bed
Show file tree

Hide file tree

Showing 2 changed files with 35 additions and 0 deletions.
diff --git a/tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php b/tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php
@@ -3500,4 +3500,18 @@ public function testBug4801(): void
 		$this->analyse([__DIR__ . '/data/bug-4801.php'], []);
 	}
 
+	public function testBug12544(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->checkExplicitMixed = true;
+		$this->analyse([__DIR__ . '/data/bug-12544.php'], [
+			[
+				'Call to private method somethingElse() of class Bug12544\Bar.',
+				20,
+			],
+		]);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Methods/data/bug-12544.php b/tests/PHPStan/Rules/Methods/data/bug-12544.php
@@ -0,0 +1,21 @@
+<?php
+
+namespace Bug12544;
+
+trait Foo {
+	public function hello(): string
+	{
+		return "Hello from Foo!";
+	}
+}
+
+class Bar {
+	use Foo {
+		hello as private somethingElse;
+	}
+}
+
+function (Bar $bar): void {
+	$bar->hello();
+	$bar->somethingElse();
+};