@Property annotations: allow *not* implying @psalm-seal-properties

Add a setting that allows usage of `@property` to *augment* classes that
use __get() and __set(). Previously, using `@property` once would force
you to exhaustively list all possible properties. This didn't use to be
the case, but was changed in df33405

This was really unexpected for our team and for a while we thought it
was a psalm bug until I found the above commit.

We are using `__get()` for ORM objects and we want to use `@property` to
explicitly document some of columns without being forced to document
every column.

docs/running_psalm/configuration.md

@@ -90,6 +90,15 @@ Whether or not to use types as defined in docblocks. Defaults to `true`.
 ```
 If not using all docblock types, you can still use docblock property types. Defaults to `false` (though only relevant if `useDocblockTypes` is `false`).
 
+#### docblockPropertyTypesSealProperties
+
+```xml
+<psalm
+  docblockPropertyTypesSealProperties="[bool]"
+>
+```
+Whether using @property in class docblocks should imply @psalm-seal-properties
+
 #### usePhpDocMethodsWithoutMagicCall
 
 ```xml

src/Psalm/Config.php

@@ -194,6 +194,13 @@ class Config
      */
     public $use_docblock_property_types = false;
 
+    /**
+     * Whether using @property in docblocks should implicitly seal properties
+     *
+     * @var bool
+     */
+    public $docblock_property_types_seal_properties = true;
+
     /**
      * Whether or not to throw an exception on first error
      *
@@ -359,6 +366,11 @@ class Config
      */
     public $seal_all_properties = false;
 
+    /**
+     * @var bool
+     */
+    public $seal_all_properties = false;
+
     /**
      * @var bool
      */
@@ -1049,6 +1061,7 @@ private static function fromXmlAndPaths(
         $booleanAttributes = [
             'useDocblockTypes' => 'use_docblock_types',
             'useDocblockPropertyTypes' => 'use_docblock_property_types',
+            'docblockPropertyTypesSealProperties' => 'docblock_property_types_seal_properties',
             'throwExceptionOnError' => 'throw_exception',
             'hideExternalErrors' => 'hide_external_errors',
             'hideAllErrorsExceptPassedFiles' => 'hide_all_errors_except_passed_files',

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

@@ -568,7 +568,9 @@ public function start(PhpParser\Node\Stmt\ClassLike $node): ?bool
                     }
                 }
 
-                $storage->sealed_properties = true;
+                if ($config->docblock_property_types_seal_properties) {
+                   $storage->sealed_properties = true;
+                }
             }
 
             foreach ($docblock_info->methods as $method) {