Promote bound of Interval if they have different types

src/sets.jl

@@ -286,6 +286,10 @@ struct Interval{T<:Real} <: AbstractScalarSet
     upper::T
 end
 
+function Interval(lower::Real, upper::Real)
+    return Interval(promote(lower, upper)...)
+end
+
 function Base.:(==)(a::Interval{T}, b::Interval{T}) where {T}
     return a.lower == b.lower && a.upper == b.upper
 end
@@ -390,6 +394,10 @@ struct Semicontinuous{T<:Real} <: AbstractScalarSet
     upper::T
 end
 
+function Semicontinuous(lower::Real, upper::Real)
+    return Semicontinuous(promote(lower, upper)...)
+end
+
 function Base.:(==)(a::Semicontinuous{T}, b::Semicontinuous{T}) where {T}
     return a.lower == b.lower && a.upper == b.upper
 end
@@ -422,6 +430,10 @@ struct Semiinteger{T<:Real} <: AbstractScalarSet
     upper::T
 end
 
+function Semiinteger(lower::Real, upper::Real)
+    return Semiinteger(promote(lower, upper)...)
+end
+
 function Base.:(==)(a::Semiinteger{T}, b::Semiinteger{T}) where {T}
     return a.lower == b.lower && a.upper == b.upper
 end

test/sets.jl

@@ -363,6 +363,19 @@ function runtests()
     end
 end
 
+function test_interval_promote()
+    for S in [MOI.Interval, MOI.Semiinteger, MOI.Semicontinuous]
+        set = S(1.0, π)
+        @test set isa S{Float64}
+        @test set.lower == 1.0
+        @test set.upper ≈ π
+        set = S(big(1), 2)
+        @test set isa S{BigInt}
+        @test set.lower == 1
+        @test set.upper == 2
+    end
+end
+
 end
 
 TestSets.runtests()