Define getproperty on AbstractZeroTangents

Author: oxinabox

src/tangent_types/abstract_zero.jl

@@ -35,6 +35,8 @@ Base.convert(::Type{T}, x::AbstractZero) where {T<:Number} = zero(T)
 (::Type{Complex})(x::Real, y::AbstractZero) = Complex(x, false)
 
 Base.getindex(z::AbstractZero, args...) = z
+Base.getproperty(z::AbstractZero, name::Symbol) = z
+
 
 Base.view(z::AbstractZero, ind...) = z
 Base.sum(z::AbstractZero; dims=:) = z

test/tangent_types/abstract_zero.jl

@@ -86,6 +86,8 @@
         @test z[1:3] === z
         @test z[1, 2] === z
         @test getindex(z) === z
+
+        @test z.foo === z
 
         @test first(z) === z
         @test last(z) === z
@@ -134,6 +136,8 @@
         @test dne[1:3] === dne
         @test dne[1, 2] === dne
         @test getindex(dne) === dne
+        
+        @test dne.foo === dne
     end
 
     @testset "ambiguities" begin