Results - make reasons unique

Author: ondrejmirtes

src/Type/AcceptsResult.php

@@ -108,7 +108,7 @@ public static function extremeIdentity(self ...$operands): self
 			}
 		}
 
-		return new self($result, $reasons);
+		return new self($result, array_values(array_unique($reasons)));
 	}
 
 	public static function maxMin(self ...$operands): self
@@ -125,7 +125,7 @@ public static function maxMin(self ...$operands): self
 			}
 		}
 
-		return new self($result, $reasons);
+		return new self($result, array_values(array_unique($reasons)));
 	}
 
 }

src/Type/IsSuperTypeOfResult.php

@@ -153,7 +153,7 @@ private static function mergeReasons(array $operands): array
 			}
 		}
 
-		return $reasons;
+		return array_values(array_unique($reasons));
 	}
 
 }