Merge pull request #663 from JuliaDiff/ox/tkz

handling type-known empty containers in zero_tangent

Author: oxinabox

src/tangent_types/abstract_zero.jl

@@ -172,6 +172,9 @@ end
 function zero_tangent(::T) where {K,V,T<:AbstractDict{K,V}}
     return Tangent{T}(Dict{K,guess_zero_tangent_type(V)}())
 end
+if isdefined(Base, :Pairs)
+    zero_tangent(::Base.Pairs{Symbol,Union{},Tuple{},@NamedTuple{}}) = NoTangent()
+end
 
 # Sad heauristic methods we need because of unassigned values
 guess_zero_tangent_type(::Type{T}) where {T<:Number} = T
@@ -180,6 +183,7 @@ function guess_zero_tangent_type(::Type{<:Array{T,N}}) where {T,N}
     return Array{guess_zero_tangent_type(T),N}
 end
 guess_zero_tangent_type(T::Type) = Any
+guess_zero_tangent_type(::Type{Union{}}) = Union{}  # This will only show up for empty containers
 
 # Stuff that conceptually has its own identity regardless of structual implementation and doesn't have a tangent
 zero_tangent(::Base.AbstractLogger) = NoTangent()
@@ -190,4 +194,4 @@ zero_tangent(::Expr) = NoTangent()
 zero_tangent(::Core.Compiler.AbstractInterpreter) = NoTangent()
 zero_tangent(::Core.Compiler.InstructionStream) = NoTangent()
 zero_tangent(::Core.CodeInfo) = NoTangent()
-zero_tangent(::Core.MethodInstance) = NoTangent()
+zero_tangent(::Core.MethodInstance) = NoTangent()