fix intersect with different types (#112)

Author: aplavin

src/interval.jl

@@ -105,21 +105,18 @@ _left_intersect_type(::Type{Val{:closed}}, ::Type{Val{L2}}, a1, a2) where L2 = a
 _right_intersect_type(::Type{Val{:open}}, ::Type{Val{R2}}, b1, b2) where R2 = b1 > b2 ? (b2,R2) : (b1,:open)
 _right_intersect_type(::Type{Val{:closed}}, ::Type{Val{R2}}, b1, b2) where R2 = b1 ≥ b2 ? (b2,R2) : (b1,:closed)
 
-function intersect(d1::TypedEndpointsInterval{L1,R1,T}, d2::TypedEndpointsInterval{L2,R2,T}) where {L1,R1,L2,R2,T}
+function intersect(d1::TypedEndpointsInterval{L1,R1}, d2::TypedEndpointsInterval{L2,R2}) where {L1,R1,L2,R2}
     a1, b1 = endpoints(d1); a2, b2 = endpoints(d2)
     a,L = _left_intersect_type(Val{L1}, Val{L2}, a1, a2)
     b,R = _right_intersect_type(Val{R1}, Val{R2}, b1, b2)
     Interval{L,R}(a,b)
 end
 
-function intersect(d1::TypedEndpointsInterval{L,R,T}, d2::TypedEndpointsInterval{L,R,T}) where {L,R,T}
+function intersect(d1::TypedEndpointsInterval{L,R}, d2::TypedEndpointsInterval{L,R}) where {L,R}
     a1, b1 = endpoints(d1); a2, b2 = endpoints(d2)
     Interval{L,R}(max(a1,a2),min(b1,b2))
 end
 
-intersect(d1::TypedEndpointsInterval{L1,R1,T}, d2::TypedEndpointsInterval{L2,R2,V}) where {L1,R1,L2,R2,T,V} =
-    intersect(promote(d1, d2)...)
-
 intersect(d1::AbstractInterval, d2::AbstractInterval) = intersect(Interval(d1), Interval(d2))
 
 

test/runtests.jl

@@ -582,6 +582,10 @@ struct IncompleteInterval <: AbstractInterval{Int} end
             @test Interval{:closed,:open}(0..1) ∪ OpenInterval(0..1) ≡
                     OpenInterval(0..1) ∪ Interval{:closed,:open}(0..1) ≡
                     Interval{:closed,:open}(0..1)
+
+            # - different interval types
+            @test (1..2) ∩ OpenInterval(0.5, 1.5) ≡ Interval{:closed, :open}(1, 1.5)
+            @test (1..2) ∪ OpenInterval(0.5, 1.5) ≡ Interval{:open, :closed}(0.5, 2)
         end
     end