diff --git a/src/intervals/construction.jl b/src/intervals/construction.jl index 98457093..2d706141 100644 --- a/src/intervals/construction.jl +++ b/src/intervals/construction.jl @@ -469,7 +469,7 @@ function _interval_infsup(::Type{T}, x::Union{BareInterval,Interval}, y::Union{B return _unsafe_interval(z, min(decoration(x), decoration(y), decoration(z), d), t) end end -function _interval_infsup(::Type{T}, x::Union{BareInterval,Interval}, y, d::Decoration) where {T<:NumTypes} +function _interval_infsup(::Type{T}, x::Union{BareInterval,Interval}, y::NumTypes, d::Decoration) where {T<:NumTypes} lo = _inf(x) hi = _sup(y) if !is_valid_interval(lo, hi) || d == ill @@ -480,7 +480,7 @@ function _interval_infsup(::Type{T}, x::Union{BareInterval,Interval}, y, d::Deco return _unsafe_interval(z, min(decoration(x), decoration(z), d), isguaranteed(x)) end end -function _interval_infsup(::Type{T}, x, y::Union{BareInterval,Interval}, d::Decoration) where {T<:NumTypes} +function _interval_infsup(::Type{T}, x::NumTypes, y::Union{BareInterval,Interval}, d::Decoration) where {T<:NumTypes} lo = _inf(x) hi = _sup(y) if !is_valid_interval(lo, hi) || d == ill