Add a bunch of immutable & pure annotations

src/Psalm/Internal/Diff/AstDiffer.php

@@ -79,6 +79,8 @@ class AstDiffer
      * @param array<int, bool> $bc
      *
      * @return DiffElem[]
+     *
+     * @psalm-pure
      */
     protected static function extractDiff(array $trace, $x, $y, array $a, array $b, array $bc) : array
     {

src/Psalm/Internal/Diff/DiffElem.php

@@ -4,6 +4,8 @@ namespace Psalm\Internal\Diff;
 
 /**
  * @internal
+ *
+ * @psalm-immutable
  */
 class DiffElem
 {

src/Psalm/Internal/Diff/FileDiffer.php

@@ -68,6 +68,8 @@ class FileDiffer
      * @param array<int, string> $b
      *
      * @return DiffElem[]
+     *
+     * @psalm-pure
      */
     private static function extractDiff(array $trace, int $x, int $y, array $a, array $b) : array
     {
@@ -115,6 +117,8 @@ class FileDiffer
 
     /**
      * @return array<int, array{0: int, 1: int, 2: int, 3: int, 4: int, 5: string}>
+     *
+     * @psalm-pure
      */
     public static function getDiff(string $a_code, string $b_code)
     {
@@ -263,6 +267,8 @@ class FileDiffer
      * @param DiffElem[] $diff
      *
      * @return DiffElem[]
+     *
+     * @psalm-pure
      */
     private static function coalesceReplacements(array $diff)
     {

src/Psalm/Internal/FileManipulation/CodeMigration.php

@@ -1,6 +1,9 @@
 <?php
 namespace Psalm\Internal\FileManipulation;
 
+/**
+ * @psalm-immutable
+ */
 class CodeMigration
 {
     /** @var string */

src/Psalm/Internal/Fork/ForkProcessDoneMessage.php

@@ -1,6 +1,9 @@
 <?php
 namespace Psalm\Internal\Fork;
 
+/**
+ * @psalm-immutable
+ */
 class ForkProcessDoneMessage implements ForkMessage
 {
     /** @var mixed */

src/Psalm/Internal/Fork/ForkProcessErrorMessage.php

@@ -1,6 +1,9 @@
 <?php
 namespace Psalm\Internal\Fork;
 
+/**
+ * @psalm-immutable
+ */
 class ForkProcessErrorMessage implements ForkMessage
 {
     /** @var string */

src/Psalm/Internal/Fork/ForkTaskDoneMessage.php

@@ -1,6 +1,9 @@
 <?php
 namespace Psalm\Internal\Fork;
 
+/**
+ * @psalm-immutable
+ */
 class ForkTaskDoneMessage implements ForkMessage
 {
     /** @var mixed */

src/Psalm/Internal/MethodIdentifier.php

@@ -2,6 +2,9 @@
 
 namespace Psalm\Internal;
 
+/**
+ * @psalm-immutable
+ */
 class MethodIdentifier
 {
     public $fq_class_name;

src/Psalm/Internal/Scanner/UnresolvedConstant/ArrayOffsetFetch.php

@@ -4,6 +4,9 @@ namespace Psalm\Internal\Scanner\UnresolvedConstant;
 
 use Psalm\Internal\Scanner\UnresolvedConstantComponent;
 
+/**
+ * @psalm-immutable
+ */
 class ArrayOffsetFetch extends UnresolvedConstantComponent
 {
     /** @var UnresolvedConstantComponent */

src/Psalm/Internal/Scanner/UnresolvedConstant/ArrayValue.php

@@ -4,6 +4,9 @@ namespace Psalm\Internal\Scanner\UnresolvedConstant;
 
 use Psalm\Internal\Scanner\UnresolvedConstantComponent;
 
+/**
+ * @psalm-immutable
+ */
 class ArrayValue extends UnresolvedConstantComponent
 {
     /** @var array<int, KeyValuePair> */

src/Psalm/Internal/Scanner/UnresolvedConstant/ClassConstant.php

@@ -4,6 +4,9 @@ namespace Psalm\Internal\Scanner\UnresolvedConstant;
 
 use Psalm\Internal\Scanner\UnresolvedConstantComponent;
 
+/**
+ * @psalm-immutable
+ */
 class ClassConstant extends UnresolvedConstantComponent
 {
     /** @var string */

src/Psalm/Internal/Scanner/UnresolvedConstant/Constant.php

@@ -4,6 +4,9 @@ namespace Psalm\Internal\Scanner\UnresolvedConstant;
 
 use Psalm\Internal\Scanner\UnresolvedConstantComponent;
 
+/**
+ * @psalm-immutable
+ */
 class Constant extends UnresolvedConstantComponent
 {
     /** @var string */

src/Psalm/Internal/Scanner/UnresolvedConstant/KeyValuePair.php

@@ -4,6 +4,9 @@ namespace Psalm\Internal\Scanner\UnresolvedConstant;
 
 use Psalm\Internal\Scanner\UnresolvedConstantComponent;
 
+/**
+ * @psalm-immutable
+ */
 class KeyValuePair extends UnresolvedConstantComponent
 {
     /** @var ?UnresolvedConstantComponent */

src/Psalm/Internal/Scanner/UnresolvedConstant/ScalarValue.php

@@ -4,6 +4,9 @@ namespace Psalm\Internal\Scanner\UnresolvedConstant;
 
 use Psalm\Internal\Scanner\UnresolvedConstantComponent;
 
+/**
+ * @psalm-immutable
+ */
 class ScalarValue extends UnresolvedConstantComponent
 {
     /** @var string|int|float|bool|null */

src/Psalm/Internal/Scanner/UnresolvedConstant/UnresolvedAdditionOp.php

@@ -2,6 +2,9 @@
 
 namespace Psalm\Internal\Scanner\UnresolvedConstant;
 
+/**
+ * @psalm-immutable
+ */
 class UnresolvedAdditionOp extends UnresolvedBinaryOp
 {
 }

src/Psalm/Internal/Scanner/UnresolvedConstant/UnresolvedBinaryOp.php

@@ -4,6 +4,9 @@ namespace Psalm\Internal\Scanner\UnresolvedConstant;
 
 use Psalm\Internal\Scanner\UnresolvedConstantComponent;
 
+/**
+ * @psalm-immutable
+ */
 abstract class UnresolvedBinaryOp extends UnresolvedConstantComponent
 {
     /** @var UnresolvedConstantComponent */

src/Psalm/Internal/Scanner/UnresolvedConstant/UnresolvedBitwiseOr.php

@@ -2,6 +2,9 @@
 
 namespace Psalm\Internal\Scanner\UnresolvedConstant;
 
+/**
+ * @psalm-immutable
+ */
 class UnresolvedBitwiseOr extends UnresolvedBinaryOp
 {
 }

src/Psalm/Internal/Scanner/UnresolvedConstant/UnresolvedConcatOp.php

@@ -2,6 +2,9 @@
 
 namespace Psalm\Internal\Scanner\UnresolvedConstant;
 
+/**
+ * @psalm-immutable
+ */
 class UnresolvedConcatOp extends UnresolvedBinaryOp
 {
 }

src/Psalm/Internal/Scanner/UnresolvedConstant/UnresolvedDivisionOp.php

@@ -2,6 +2,9 @@
 
 namespace Psalm\Internal\Scanner\UnresolvedConstant;
 
+/**
+ * @psalm-immutable
+ */
 class UnresolvedDivisionOp extends UnresolvedBinaryOp
 {
 }

src/Psalm/Internal/Scanner/UnresolvedConstant/UnresolvedMultiplicationOp.php

@@ -2,6 +2,9 @@
 
 namespace Psalm\Internal\Scanner\UnresolvedConstant;
 
+/**
+ * @psalm-immutable
+ */
 class UnresolvedMultiplicationOp extends UnresolvedBinaryOp
 {
 }

src/Psalm/Internal/Scanner/UnresolvedConstant/UnresolvedSubtractionOp.php

@@ -2,6 +2,9 @@
 
 namespace Psalm\Internal\Scanner\UnresolvedConstant;
 
+/**
+ * @psalm-immutable
+ */
 class UnresolvedSubtractionOp extends UnresolvedBinaryOp
 {
 }

src/Psalm/Internal/Scanner/UnresolvedConstant/UnresolvedTernary.php

@@ -4,6 +4,9 @@ namespace Psalm\Internal\Scanner\UnresolvedConstant;
 
 use Psalm\Internal\Scanner\UnresolvedConstantComponent;
 
+/**
+ * @psalm-immutable
+ */
 class UnresolvedTernary extends UnresolvedConstantComponent
 {
     public $cond;

src/Psalm/Internal/Scanner/UnresolvedConstantComponent.php

@@ -2,6 +2,9 @@
 
 namespace Psalm\Internal\Scanner;
 
+/**
+ * @psalm-immutable
+ */
 abstract class UnresolvedConstantComponent
 {
 }

src/Psalm/Internal/Taint/Path.php

@@ -2,6 +2,9 @@
 
 namespace Psalm\Internal\Taint;
 
+/**
+ * @psalm-immutable
+ */
 class Path
 {
     public $type;

src/Psalm/Internal/Type/TypeAlias/InlineTypeAlias.php

@@ -1,6 +1,9 @@
 <?php
 namespace Psalm\Internal\Type\TypeAlias;
 
+/**
+ * @psalm-immutable
+ */
 class InlineTypeAlias implements \Psalm\Internal\Type\TypeAlias
 {
     /**

src/Psalm/Internal/Type/TypeAlias/LinkableTypeAlias.php

@@ -1,6 +1,9 @@
 <?php
 namespace Psalm\Internal\Type\TypeAlias;
 
+/**
+ * @psalm-immutable
+ */
 class LinkableTypeAlias implements \Psalm\Internal\Type\TypeAlias
 {
     public $declaring_fq_classlike_name;