fix ambiguities with new IA version

JuliaReach · Nov 19, 2024 · 02ab691 · 02ab691
1 parent ad7fa08
commit 02ab691
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/operations/mult.jl b/src/operations/mult.jl
@@ -45,6 +45,15 @@ function set_multiplication_mode(multype)
             *(A::$T, B::IntervalMatrix) = *($type, A, B)
         end
     end
+    # disambiguation with IntervalArithmetic's `RealOrComplexI`
+    @static if vIA >= v"0.22.17"  # COV_EXCL_LINE
+        for T in [:(AbstractMatrix{<:IntervalArithmetic.RealOrComplexI})]
+            @eval begin
+                *(A::IntervalMatrix, B::$T) = *($type, A, B)
+                *(A::$T, B::IntervalMatrix) = *($type, A, B)
+            end
+        end
+    end
 
     return config[:multiplication] = multype
 end