Merge branch refs/heads/1.12.x into 2.0.x

Author: phpstan-bot

src/Type/AcceptsResult.php

@@ -107,7 +107,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
@@ -124,7 +124,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

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