Make reasons unique

phpstan · Dec 11, 2023 · 01aabcf · 01aabcf
1 parent 1b4b134
commit 01aabcf
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/Type/AcceptsResult.php b/src/Type/AcceptsResult.php
@@ -6,6 +6,8 @@
 use PHPStan\TrinaryLogic;
 use function array_map;
 use function array_merge;
+use function array_unique;
+use function array_values;
 
 /** @api */
 class AcceptsResult
@@ -60,15 +62,15 @@ public function and(self $other): self
 	{
 		return new self(
 			$this->result->and($other->result),
-			array_merge($this->reasons, $other->reasons),
+			array_values(array_unique(array_merge($this->reasons, $other->reasons))),
 		);
 	}
 
 	public function or(self $other): self
 	{
 		return new self(
 			$this->result->or($other->result),
-			array_merge($this->reasons, $other->reasons),
+			array_values(array_unique(array_merge($this->reasons, $other->reasons))),
 		);
 	}