Merge pull request #265 from JuliaReach/schillic/disambiguate

Fix ambiguities with new IntervalArithmetic version
JuliaReach · Nov 19, 2024 · 158de5e · 158de5e
2 parents ad7fa08 + a66b137
commit 158de5e
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/src/operations/mult.jl b/src/operations/mult.jl
@@ -44,7 +44,19 @@ function set_multiplication_mode(multype)
             *(A::IntervalMatrix, B::$T) = *($type, A, B)
             *(A::$T, B::IntervalMatrix) = *($type, A, B)
         end
+    end  # COV_EXCL_LINE
+
+    # disambiguation with IntervalArithmetic's `RealOrComplexI`
+    # COV_EXCL_START
+    @static if vIA >= v"0.22.17"
+        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
+    # COV_EXCL_END
 
     return config[:multiplication] = multype
 end