Symbolics.jl sometimes tells me the types of objects.
julia> Symbolics.Term(sqrt, 2) |> typeof
SymbolicUtils.Term{Real,Nothing}
Sometimes it doesn’t know the type of the result.
julia> Symbolics.Term(x->x+1, [2]) |> typeof
SymbolicUtils.Term{Any,Nothing}
But it gives the same Any
for cases where there is no method.
julia> Symbolics.Term(x::String->x+1, [2]) |> typeof
SymbolicUtils.Term{Any,Nothing}
Is it possible to distinguish between “unknown return type” from “error, no matching method”?