Property hook cannot be both abstract and final

Author: staabm

src/Rules/Properties/PropertiesInInterfaceRule.php

@@ -84,6 +84,19 @@ public function processNode(Node $node, Scope $scope): array
 			];
 		}
 
+		foreach ($node->getHooks() as $hook) {
+			if (!$hook->isFinal()) {
+				continue;
+			}
+
+			return [
+				RuleErrorBuilder::message('Property hook cannot be both abstract and final.')
+					->nonIgnorable()
+					->identifier('property.abstractFinal')
+					->build(),
+			];
+		}
+
 		if ($this->hasAnyHookBody($node)) {
 			return [
 				RuleErrorBuilder::message('Interfaces cannot include property hooks with bodies.')

tests/PHPStan/Rules/Properties/PropertiesInInterfaceRuleTest.php

@@ -167,6 +167,14 @@ public function testPhp84AndFinalPropertyHooksInInterface(): void
 				'Interfaces cannot include final properties.',
 				11,
 			],
+			[
+				'Property hook cannot be both abstract and final.',
+				13,
+			],
+			[
+				'Property hook cannot be both abstract and final.',
+				17,
+			],
 		]);
 	}
 

tests/PHPStan/Rules/Properties/data/final-property-hooks-in-interface.php

@@ -9,4 +9,12 @@ interface HelloWorld
 	public final string $middleName { get; }
 
 	public final string $lastName { set; }
+
+	public string $finalGetHook {
+		final get;
+	}
+
+	public string $finalSetHook {
+		final set;
+	}
 }