fix: narrow RoundingNecessaryException for Money::of()/ofMinor()

money/extension.neon

@@ -4,11 +4,6 @@ services:
 		tags:
 			- phpstan.dynamicStaticMethodThrowTypeExtension
 
-	-
-		class: Brick\Money\PHPStan\MoneyFactoryRoundingModeThrowTypeExtension
-		tags:
-			- phpstan.dynamicStaticMethodThrowTypeExtension
-
 	-
 		class: Brick\Money\PHPStan\MoneyOperationThrowTypeExtension
 		tags:

money/src/MoneyFactoryThrowTypeExtension.php

@@ -92,7 +92,7 @@ public function getThrowTypeFromStaticMethodCall(
 
         // Money::of()/ofMinor() can still throw RoundingNecessaryException,
         // unless the amount cannot require rounding.
-        if ($className === Money::class && ! $this->isRoundingSafe($amountType, $methodName, $args)) {
+        if ($className === Money::class && ! $this->isRoundingSafe($amountType, $methodName, $args, $scope)) {
             $residualTypes[] = new ObjectType(RoundingNecessaryException::class);
         }
 
@@ -114,8 +114,12 @@ public function getThrowTypeFromStaticMethodCall(
      *
      * @param Arg[] $args
      */
-    private function isRoundingSafe(Type $amountType, string $methodName, array $args): bool
+    private function isRoundingSafe(Type $amountType, string $methodName, array $args, Scope $scope): bool
     {
+        if (isset($args[3]) && SafeType::isSafeRoundingMode($scope->getType($args[3]->value))) {
+            return true;
+        }
+
         if (SafeType::isZero($amountType)) {
             return true;
         }

money/tests/data/MoneyThrowTypes.php

@@ -163,6 +163,24 @@ public function ofStringWithCustomContext(string $amount): void
         }
     }
 
+    public function ofWithRoundingMode(BigDecimal $amount): void
+    {
+        try {
+            $result = Money::of($amount, 'USD', roundingMode: RoundingMode::HalfUp);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createYes(), $result);
+        }
+    }
+
+    public function ofMinorWithRoundingMode(BigDecimal $amount): void
+    {
+        try {
+            $result = Money::ofMinor($amount, 'USD', roundingMode: RoundingMode::HalfUp);
+        } finally {
+            assertVariableCertainty(TrinaryLogic::createYes(), $result);
+        }
+    }
+
     // --- Comparison methods ---
 
     public function compareToWithInt(Money $a): void