fix: check magic methods on final classes for allow dynamic properties

Author: calebdw

.github/workflows/e2e-tests.yml

@@ -285,6 +285,9 @@ jobs:
           - script: |
               cd e2e/bug-10483
               ../../bin/phpstan
+          - script: |
+              cd e2e/bug-13450
+              ../../bin/phpstan
 
     steps:
       - name: "Checkout"

e2e/bug-13450/phpstan.neon

@@ -0,0 +1,4 @@
+parameters:
+	level: max
+	paths:
+		- .

e2e/bug-13450/test.php

@@ -0,0 +1,70 @@
+<?php declare(strict_types = 1);
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @template TRelated of Model
+ * @template TDeclaring of Model
+ * @template TResult
+ */
+abstract class Relation
+{
+	/** @return TResult */
+    public function getResults(): mixed
+	{
+		return []; // @phpstan-ignore return.type
+	}
+}
+
+/**
+ * @template TRelated of Model
+ * @template TDeclaring of Model
+ * @template TPivot of Pivot = Pivot
+ * @template TAccessor of string = 'pivot'
+ *
+ * @extends Relation<TRelated, TDeclaring, array<int, TRelated&object{pivot: TPivot}>>
+ */
+class BelongsToMany extends Relation {}
+
+abstract class Model
+{
+	/**
+	 * @template TRelated of Model
+	 * @param class-string<TRelated> $related
+	 * @return BelongsToMany<TRelated, $this>
+	 */
+	public function belongsToMany(string $related): BelongsToMany
+	{
+		return new BelongsToMany(); // @phpstan-ignore return.type
+	}
+
+	public function __get(string $name): mixed { return null; }
+	public function __set(string $name, mixed $value): void {}
+}
+
+class Pivot extends Model {}
+
+class User extends Model
+{
+	/** @return BelongsToMany<Team, $this> */
+	public function teams(): BelongsToMany
+	{
+		return $this->belongsToMany(Team::class);
+	}
+
+	/** @return BelongsToMany<TeamFinal, $this> */
+	public function teamsFinal(): BelongsToMany
+	{
+		return $this->belongsToMany(TeamFinal::class);
+	}
+}
+
+class Team extends Model {}
+
+final class TeamFinal extends Model {}
+
+function test(User $user): void
+{
+	assertType('array<int, object{pivot: Pivot}&Team>', $user->teams()->getResults());
+	assertType('array<int, object{pivot: Pivot}&TeamFinal>', $user->teamsFinal()->getResults());
+}

src/Reflection/ClassReflection.php

@@ -421,22 +421,6 @@ public function allowsDynamicProperties(): bool
 			return true;
 		}
 
-		$class = $this;
-		$attributes = $class->reflection->getAttributes('AllowDynamicProperties');
-		while (count($attributes) === 0 && $class->getParentClass() !== null) {
-			$attributes = $class->getParentClass()->reflection->getAttributes('AllowDynamicProperties');
-			$class = $class->getParentClass();
-		}
-
-		return count($attributes) > 0;
-	}
-
-	private function allowsDynamicPropertiesExtensions(): bool
-	{
-		if ($this->allowsDynamicProperties()) {
-			return true;
-		}
-
 		$hasMagicMethod = $this->hasNativeMethod('__get') || $this->hasNativeMethod('__set') || $this->hasNativeMethod('__isset');
 		if ($hasMagicMethod) {
 			return true;
@@ -449,18 +433,20 @@ private function allowsDynamicPropertiesExtensions(): bool
 			}
 
 			$reflection = $type->getClassReflection();
-			if ($reflection === null) {
-				continue;
-			}
-
-			if (!$reflection->allowsDynamicPropertiesExtensions()) {
+			if ($reflection === null || !$reflection->allowsDynamicProperties()) {
 				continue;
 			}
 
 			return true;
 		}
 
-		return false;
+		$class = $this;
+		do {
+			$attributes = $class->reflection->getAttributes('AllowDynamicProperties');
+			$class = $class->getParentClass();
+		} while ($attributes === [] && $class !== null);
+
+		return $attributes !== [];
 	}
 
 	public function hasProperty(string $propertyName): bool
@@ -474,7 +460,7 @@ public function hasProperty(string $propertyName): bool
 		}
 
 		foreach ($this->propertiesClassReflectionExtensions as $i => $extension) {
-			if ($i > 0 && !$this->allowsDynamicPropertiesExtensions()) {
+			if ($i > 0 && !$this->allowsDynamicProperties()) {
 				break;
 			}
 			if ($extension->hasProperty($this, $propertyName)) {
@@ -656,7 +642,7 @@ public function getProperty(string $propertyName, ClassMemberAccessAnswerer $sco
 
 		if (!isset($this->properties[$key])) {
 			foreach ($this->propertiesClassReflectionExtensions as $i => $extension) {
-				if ($i > 0 && !$this->allowsDynamicPropertiesExtensions()) {
+				if ($i > 0 && !$this->allowsDynamicProperties()) {
 					break;
 				}
 

tests/PHPStan/Rules/Properties/AccessPropertiesRuleTest.php

@@ -821,23 +821,23 @@ public function testPhp82AndDynamicProperties(bool $b): void
 				34,
 				$tipText,
 			];
-			$errors[] = [
-				'Access to an undefined property Php82DynamicProperties\HelloWorld::$world.',
-				71,
-				$tipText,
-			];
 			if ($b) {
+				$errors[] = [
+					'Access to an undefined property Php82DynamicProperties\HelloWorld::$world.',
+					71,
+					$tipText,
+				];
 				$errors[] = [
 					'Access to an undefined property Php82DynamicProperties\HelloWorld::$world.',
 					78,
 					$tipText,
 				];
+				$errors[] = [
+					'Access to an undefined property Php82DynamicProperties\FinalHelloWorld::$world.',
+					112,
+					$tipText,
+				];
 			}
-			$errors[] = [
-				'Access to an undefined property Php82DynamicProperties\FinalHelloWorld::$world.',
-				112,
-				$tipText,
-			];
 		} elseif ($b) {
 			$errors[] = [
 				'Access to an undefined property Php82DynamicProperties\HelloWorld::$world.',