Fix phpstan/phpstan#12062: False positive "has no effect" on call to late static binding method of abstract class

src/Rules/DeadCode/PossiblyPureStaticCallCollector.php

@@ -63,6 +63,16 @@
 			return null;
 		}
 
+		if (
+			$expr->class->toLowerString() === 'static'
+			&& $scope->isInClass()
+			&& !$scope->getClassReflection()->isFinal()
+			&& !$methodReflection->isFinal()->yes()
+			&& !$methodReflection->isPrivate()
+		) {
+			return null;
+		}
+
 		return [$methodReflection->getDeclaringClass()->getName(), $methodReflection->getName(), $node->getStartLine()];
 	}
 

tests/PHPStan/Rules/DeadCode/CallToStaticMethodStatementWithoutImpurePointsRuleTest.php

@@ -44,10 +44,6 @@ public function testRule(): void
 				'Call to CallToStaticMethodWithoutImpurePoints\SubSubY::mySubSubFunc() on a separate line has no effect.',
 				21,
 			],
-			[
-				'Call to CallToStaticMethodWithoutImpurePoints\y::myFunc() on a separate line has no effect.',
-				48,
-			],
 			[
 				'Call to CallToStaticMethodWithoutImpurePoints\y::myFunc() on a separate line has no effect.',
 				53,
@@ -59,6 +55,11 @@ public function testRule(): void
 		]);
 	}
 
+	public function testBug12062(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-12062.php'], []);
+	}
+
 	#[RequiresPhp('>= 8.5')]
 	public function testPipeOperator(): void
 	{

tests/PHPStan/Rules/DeadCode/data/bug-12062.php

@@ -0,0 +1,38 @@
+<?php declare(strict_types=1);
+
+namespace Bug12062;
+
+abstract class Base
+{
+	public static function get(mixed $param): mixed
+	{
+		static::validateParam($param);
+		return $param;
+	}
+
+	public static function set(mixed $param, mixed $value): void
+	{
+		static::validateParam($param);
+	}
+
+	public static function clear(mixed $param): void
+	{
+		static::validateParam($param);
+	}
+
+	protected static function validateParam(mixed $param): bool
+	{
+		return true;
+	}
+}
+
+abstract class IntParam extends Base
+{
+	protected static function validateParam(mixed $param): bool
+	{
+		if (!is_int($param)) {
+			throw new \InvalidArgumentException('Must be int');
+		}
+		return true;
+	}
+}