Prevent @property annotations on class properties

src/Psalm/Internal/PhpVisitor/Reflector/ClassLikeNodeScanner.php

@@ -1282,6 +1282,13 @@ class ClassLikeNodeScanner
                 $property_is_initialized = true;
             }
 
+            if (preg_match('/[ \t\*]+@property[ \t]+/', (string)$comment)) {
+                $storage->docblock_issues[] = new InvalidDocblock(
+                    '@property is valid only in docblocks for class',
+                    new CodeLocation($this->file_scanner, $stmt, null, true)
+                );
+            }
+
             try {
                 $var_comments = CommentAnalyzer::getTypeFromComment(
                     $comment,

tests/MagicPropertyTest.php

@@ -1146,6 +1146,14 @@ class MagicPropertyTest extends TestCase
                     }',
                 'error_message' => 'UndefinedMagicPropertyAssignment',
             ],
+            'propertyDocblockOnProperty' => [
+                '<?php
+                    class A { 
+                       /** @property string[] */ 
+                      public array $arr; 
+                    }',
+                'error_message' => 'InvalidDocblock'
+            ],
         ];
     }
 }