From 1aad753ca26280cb01e7e558109107791e908848 Mon Sep 17 00:00:00 2001
From: azjezz <azjezz@protonmail.com>
Date: Tue, 1 Sep 2020 02:08:14 +0100
Subject: [PATCH] [Type] immutable type trace

---
 src/Psl/Type/Exception/TypeTrace.php | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/Psl/Type/Exception/TypeTrace.php b/src/Psl/Type/Exception/TypeTrace.php
index de4cd60..d5bc4d7 100644
--- a/src/Psl/Type/Exception/TypeTrace.php
+++ b/src/Psl/Type/Exception/TypeTrace.php
@@ -4,10 +4,13 @@ declare(strict_types=1);
 
 namespace Psl\Type\Exception;
 
+/**
+ * @psalm-immutable
+ */
 final class TypeTrace
 {
     /**
-     * @var string[]
+     * @psalm-var list<string> $frames
      */
     private array $frames = [];
 
@@ -20,7 +23,7 @@ final class TypeTrace
     }
 
     /**
-     * @return string[]
+     * @psalm-return list<string>
      */
     public function getFrames(): array
     {