Specialize in(x::Union{Sym,Term,Num}, I::TypedEndpointsInterval)

[jishnub]

Along with JuliaMath/IntervalSets.jl#126, this helps avoid ambiguities such as in JuliaApproximation/ApproxFun.jl#847

Let's wait for a decision on JuliaMath/IntervalSets.jl#126 before this

Edit: I've updated this to define in for TypedEndpointsInterval. Adding IntervalSets as a dependency does not impact load times, as it's loaded by DomainSets anyway. While TypedEndpointsInterval is not exported by IntervalSets, it's quite a fundamental type as, among other things, Interval and ChebyshevInterval are subtypes of this.

With this PR, the following works:

julia> using Symbolics

julia> @variables x
1-element Vector{Num}:
 x

julia> using DomainSets

julia> x in ChebyshevInterval()
Symbolics.VarDomainPairing(x, -1.0..1.0 (Chebyshev))

[codecov-commenter]

Codecov Report

Merging #797 (2ee927e) into master (3bad882) will decrease coverage by 0.03%.
The diff coverage is 0.00%.

📣 This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more

@@            Coverage Diff             @@
##           master     #797      +/-   ##
==========================================
- Coverage   76.83%   76.81%   -0.03%     
==========================================
  Files          26       26              
  Lines        3238     3239       +1     
==========================================
  Hits         2488     2488              
- Misses        750      751       +1     

Impacted Files	Coverage Δ
src/domains.jl	40.00% <0.00%> (-4.45%)	⬇️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[benjione]

Is there some progress on that?
I would benefit from this being merged, enabling me to use SumOfSquares.jl together with ApproxFun.jl.