add test for #17003

JuliaLang · May 26, 2017 · 49561c9 · 49561c9
1 parent 11724ff
commit 49561c9
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/base/inference.jl b/base/inference.jl
@@ -5485,3 +5485,22 @@ let fs = Any[typeinf_ext, typeinf_loop, typeinf_edge, occurs_outside_getfield, p
         end
     end
 end
+
+
+abstract type AArray_17003{T,N} end
+AVector_17003{T} = AArray_17003{T,1}
+
+struct Nable_17003{T}
+end
+
+struct NArray_17003{T,N} <: AArray_17003{Nable_17003{T},N}
+end
+
+(::Type{NArray_17003}){T,N}(::Array{T,N}) = NArray_17003{T,N}()
+
+gl_17003 = [1, 2, 3]
+
+f2_17003(item::AVector_17003) = nothing
+f2_17003(::Any) = f2_17003(NArray_17003(gl_17003))
+
+@test f2_17003(1) == nothing