Fix for respecting rule levels for property.nameNotString

Author: ondrejmirtes

src/Rules/Properties/AccessPropertiesCheck.php

@@ -62,10 +62,16 @@ public function check(PropertyFetch $node, Scope $scope, bool $write): array
 					$scope,
 					$node->name,
 					'',
-					static fn (Type $type) => $type->toString()->isString()->yes(),
+					static fn (Type $type) => !$type->toString() instanceof ErrorType && $type->toString()->isString()->yes(),
 				);
 				$nameType = $nameTypeResult->getType();
-				if ($nameType instanceof ErrorType || $nameType->toString() instanceof ErrorType || !$nameType->toString()->isString()->yes()) {
+				if (
+					!$nameType instanceof ErrorType
+					&& (
+						$nameType->toString() instanceof ErrorType
+						|| !$nameType->toString()->isString()->yes()
+					)
+				) {
 					$originalNameType = $scope->getType($node->name);
 					$className = $scope->getType($node->var)->describe(VerbosityLevel::typeOnly());
 					$errors[] = RuleErrorBuilder::message(sprintf('Property name for %s must be a string, but %s was given.', $className, $originalNameType->describe(VerbosityLevel::precise())))

tests/PHPStan/Rules/Properties/AccessPropertiesRuleTest.php

@@ -996,10 +996,6 @@ public function testDynamicStringableAccess(): void
 				'Property name for $this(DynamicStringableAccess\Foo) must be a string, but $this(DynamicStringableAccess\Foo) was given.',
 				16,
 			],
-			[
-				'Property name for $this(DynamicStringableAccess\Foo) must be a string, but object was given.',
-				17,
-			],
 			[
 				'Property name for $this(DynamicStringableAccess\Foo) must be a string, but array was given.',
 				18,
@@ -1013,10 +1009,6 @@ public function testDynamicStringableAccess(): void
 				'Property name for DynamicStringableAccess\Foo must be a string, but $this(DynamicStringableAccess\Foo) was given.',
 				31,
 			],
-			[
-				'Property name for $this(DynamicStringableAccess\Foo) must be a string, but object was given.',
-				32,
-			],
 		]);
 	}
 
@@ -1044,10 +1036,6 @@ public function testDynamicStringableNullsafeAccess(): void
 				'Property name for $this(DynamicStringableNullsafeAccess\Foo) must be a string, but $this(DynamicStringableNullsafeAccess\Foo) was given.',
 				16,
 			],
-			[
-				'Property name for $this(DynamicStringableNullsafeAccess\Foo) must be a string, but object was given.',
-				17,
-			],
 		]);
 	}
 
@@ -1100,4 +1088,20 @@ public function testPropertyExists(): void
 		$this->analyse([__DIR__ . '/data/property-exists.php'], []);
 	}
 
+	public function testDiscussion13274(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkUnionTypes = true;
+		$this->checkDynamicProperties = true;
+		$this->analyse([__DIR__ . '/data/discussion-13274.php'], []);
+	}
+
+	public function testBug4117(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkUnionTypes = true;
+		$this->checkDynamicProperties = true;
+		$this->analyse([__DIR__ . '/data/bug-4117.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Properties/data/bug-4117.php

@@ -0,0 +1,15 @@
+<?php
+
+declare(strict_types = 1);
+
+namespace Bug4117;
+
+function (): void {
+	$object = new class{
+		public string $example_one = "";
+		public string $example_two = "";
+	};
+
+	$field = rand() > 0.5 ? 'example_one' : 'example_two';
+	$result = $object->$field;
+};

tests/PHPStan/Rules/Properties/data/discussion-13274.php

@@ -0,0 +1,12 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Discussion13274;
+
+class A {}
+
+$a = new A;
+
+/** @var mixed $foo */
+$a->{$foo} = 'bar';