Property in interface cannot be explicitly abstract

Author: staabm

src/Rules/Properties/PropertiesInInterfaceRule.php

@@ -75,6 +75,15 @@ public function processNode(Node $node, Scope $scope): array
 			];
 		}
 
+		if ($node->isAbstract()) {
+			return [
+				RuleErrorBuilder::message('Property in interface cannot be explicitly abstract.')
+					->nonIgnorable()
+					->identifier('property.hookedStatic')
+					->build(),
+			];
+		}
+
 		if ($node->isFinal()) {
 			return [
 				RuleErrorBuilder::message('Interfaces cannot include final properties.')

tests/PHPStan/Rules/Properties/PropertiesInInterfaceRuleTest.php

@@ -178,6 +178,20 @@ public function testPhp84AndFinalPropertyHooksInInterface(): void
 		]);
 	}
 
+	public function testPhp84AndExplicitAbstractProperty(): void
+	{
+		if (PHP_VERSION_ID < 80400) {
+			$this->markTestSkipped('Test requires PHP 8.4 or later.');
+		}
+
+		$this->analyse([__DIR__ . '/data/property-in-interface-explicit-abstract.php'], [
+			[
+				'Property in interface cannot be explicitly abstract.',
+				8,
+			],
+		]);
+	}
+
 	public function testPhp84AndStaticHookedPropertyInInterface(): void
 	{
 		if (PHP_VERSION_ID < 80400) {

tests/PHPStan/Rules/Properties/data/property-in-interface-explicit-abstract.php

@@ -0,0 +1,15 @@
+<?php
+
+namespace PropertyInInterfaceExplicitAbstract;
+
+// https://3v4l.org/79QMR#v8.4.4
+interface Foo
+{
+	abstract public int $i {
+		set;
+	}
+
+	public int $y {
+		set;
+	}
+}