final hook in abstract class

Author: staabm

src/Rules/Properties/PropertyInClassRule.php

@@ -117,6 +117,21 @@ public function processNode(Node $node, Scope $scope): array
 			}
 		}
 
+		if ($classReflection->isAbstract() && $node->isAbstract()) {
+			foreach ($node->getHooks() as $hook) {
+				if (!$hook->isFinal()) {
+					continue;
+				}
+
+				return [
+					RuleErrorBuilder::message('Property cannot be both abstract and final.')
+						->nonIgnorable()
+						->identifier('property.finalPrivate')
+						->build(),
+				];
+			}
+		}
+
 		if ($node->isReadOnly()) {
 			if ($node->hasHooks()) {
 				return [

tests/PHPStan/Rules/Properties/PropertyInClassRuleTest.php

@@ -231,6 +231,20 @@ public function testPhp84AndPrivateFinalHookedProperties(): void
 		]);
 	}
 
+	public function testPhp84AndAbstractFinalHookedProperties(): void
+	{
+		if (PHP_VERSION_ID < 80400) {
+			$this->markTestSkipped('Test requires PHP 8.4 or later.');
+		}
+
+		$this->analyse([__DIR__ . '/data/abstract-final-property-hook.php'], [
+			[
+				'Property cannot be both abstract and final.',
+				7,
+			],
+		]);
+	}
+
 	public function testPhp84FinalProperties(): void
 	{
 		if (PHP_VERSION_ID < 80400) {

tests/PHPStan/Rules/Properties/data/abstract-final-property-hook.php

@@ -0,0 +1,10 @@
+<?php // lint >= 8.4
+
+namespace AbstractFinalHook;
+
+abstract class User
+{
+	abstract public string $foo {
+		final get;
+	}
+}