Regression test

Closes phpstan/phpstan#11241

Author: ondrejmirtes

tests/PHPStan/Rules/Properties/WritingToReadOnlyPropertiesRuleTest.php

@@ -122,4 +122,19 @@ public function testPrivatePropertyTagRead(): void
 		]);
 	}
 
+	public function testBug11241(): void
+	{
+		$this->checkThisOnly = false;
+		$this->analyse([__DIR__ . '/data/bug-11241.php'], [
+			[
+				'Property Bug11241\MagicProp::$id is not writable.',
+				27,
+			],
+			[
+				'Property Bug11241\ActualProp::$id is not writable.',
+				30,
+			],
+		]);
+	}
+
 }

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

@@ -0,0 +1,31 @@
+<?php
+
+namespace Bug11241;
+
+/** @property-read int $id */
+class MagicProp
+{
+	/** @return mixed */
+	public function __get(string $name) { echo $this->id; }
+	/** @param mixed $v */
+	public function __set(string $name, $v): void {}
+}
+
+/** @property-read int $id */
+class ActualProp
+{
+	private int $id = 0;
+
+	/** @return mixed */
+	public function __get(string $name) { echo $this->id; }
+	/** @param mixed $v */
+	public function __set(string $name, $v): void {}
+}
+
+function (): void {
+	$x = new MagicProp;
+	$x->id = 1;
+
+	$x = new ActualProp;
+	$x->id = 1;
+};