From dc180ffd5dc8ddaad6ff90a80b9301e0fc93aa6d Mon Sep 17 00:00:00 2001
From: Simon Podlipsky <simon@podlipsky.net>
Date: Sat, 21 Mar 2026 09:37:36 +0100
Subject: [PATCH] Add tests for static variadic method throw narrowing (min,
 max, sum, gcdAll, lcmAll)

---
 math/tests/data/BigNumberThrowTypes.php | 128 ++++++++++++++++++++++++
 1 file changed, 128 insertions(+)

diff --git a/math/tests/data/BigNumberThrowTypes.php b/math/tests/data/BigNumberThrowTypes.php
index 44485fc..46bfc60 100644
--- a/math/tests/data/BigNumberThrowTypes.php
+++ b/math/tests/data/BigNumberThrowTypes.php
@@ -207,4 +207,132 @@ public function dividedByWithSafeRoundingAndNonZero(BigInteger $a, int $divisor)
             assertVariableCertainty(TrinaryLogic::createYes(), $result);
         }
     }
+
+    /** Static variadic methods (min, max, sum, gcdAll, lcmAll) */
+
+    public function minWithSameType(BigInteger $a, BigInteger $b): void
+    {
+        try {
+            $result = BigInteger::min($a, $b);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createYes(), $result);
+        }
+    }
+
+    public function minWithInt(): void
+    {
+        try {
+            $result = BigInteger::min(1, 2, 3);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createYes(), $result);
+        }
+    }
+
+    public function minWithString(string $a, string $b): void
+    {
+        try {
+            $result = BigInteger::min($a, $b);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createMaybe(), $result);
+        }
+    }
+
+    public function maxWithSameType(BigDecimal $a, BigDecimal $b): void
+    {
+        try {
+            $result = BigDecimal::max($a, $b);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createYes(), $result);
+        }
+    }
+
+    public function maxWithString(string $a): void
+    {
+        try {
+            $result = BigDecimal::max($a);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createMaybe(), $result);
+        }
+    }
+
+    public function sumWithSameType(BigRational $a, BigRational $b): void
+    {
+        try {
+            $result = BigRational::sum($a, $b);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createYes(), $result);
+        }
+    }
+
+    public function sumWithInt(): void
+    {
+        try {
+            $result = BigInteger::sum(1, 2, 3);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createYes(), $result);
+        }
+    }
+
+    public function sumWithString(string $a, string $b): void
+    {
+        try {
+            $result = BigInteger::sum($a, $b);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createMaybe(), $result);
+        }
+    }
+
+    public function gcdAllWithSameType(BigInteger $a, BigInteger $b, BigInteger $c): void
+    {
+        try {
+            $result = BigInteger::gcdAll($a, $b, $c);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createYes(), $result);
+        }
+    }
+
+    public function gcdAllWithInt(): void
+    {
+        try {
+            $result = BigInteger::gcdAll(12, 18, 24);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createYes(), $result);
+        }
+    }
+
+    public function gcdAllWithString(string $a, string $b): void
+    {
+        try {
+            $result = BigInteger::gcdAll($a, $b);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createMaybe(), $result);
+        }
+    }
+
+    public function lcmAllWithSameType(BigInteger $a, BigInteger $b): void
+    {
+        try {
+            $result = BigInteger::lcmAll($a, $b);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createYes(), $result);
+        }
+    }
+
+    public function lcmAllWithString(string $a): void
+    {
+        try {
+            $result = BigInteger::lcmAll($a);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createMaybe(), $result);
+        }
+    }
+
+    public function minOnBigNumberWithMixedBigNumber(BigInteger $a, BigDecimal $b): void
+    {
+        try {
+            $result = BigNumber::min($a, $b);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createYes(), $result);
+        }
+    }
 }