Allow modification after clone in pure context

tests/PureAnnotationTest.php

@@ -358,6 +358,32 @@ class PureAnnotationTest extends TestCase
                             return true;
                         }
 
+                        return false;
+                    }',
+            ],
+            'allowPropertyAccessOnImmutableClassAfterCloneModification' => [
+                '<?php
+                    namespace Bar;
+
+                    /** @psalm-immutable */
+                    class A {
+                        public int $a;
+
+                        public function __construct(int $a) {
+                            $this->a = $a;
+                        }
+                    }
+
+                    /** @psalm-pure */
+                    function filterOdd(A $a) : bool {
+                        $a = clone $a;
+
+                        $a->a += 5;
+
+                        if ($a->a % 2 === 0) {
+                            return true;
+                        }
+
                         return false;
                     }',
             ],