Simplify assertion when mixed

vimeo · Jan 11, 2021 · 5beb3ad · 5beb3ad
1 parent 53afd28
commit 5beb3ad
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/src/Psalm/Type/Atomic/TArray.php b/src/Psalm/Type/Atomic/TArray.php
@@ -83,6 +83,10 @@ public function equals(Atomic $other_type): bool
 
     public function getAssertionString(): string
     {
+        if ($this->type_params[1]->isMixed()) {
+            return 'array';
+        }
+
         return 'array<'
             . $this->type_params[0]->getAssertionString() . ', ' . $this->type_params[1]->getAssertionString()
             . '>' ;

diff --git a/src/Psalm/Type/Atomic/TList.php b/src/Psalm/Type/Atomic/TList.php
@@ -192,6 +192,10 @@ public function equals(Atomic $other_type): bool
 
     public function getAssertionString(): string
     {
+        if ($this->type_param->isMixed()) {
+            return 'list';
+        }
+
         return 'list<' . $this->type_param->getAssertionString() . '>';
     }