From 8c19eec243b6fc9f816f48b3c8061ea33279ad3a Mon Sep 17 00:00:00 2001
From: Kristoffer Carlsson <kristoffer.carlsson@chalmers.se>
Date: Fri, 26 May 2017 23:34:19 +0200
Subject: [PATCH] add test for code that used to crash, #17003 (#22081)

---
 test/inference.jl | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/test/inference.jl b/test/inference.jl
index b1a4a3b55e358..a1d8501efc203 100644
--- a/test/inference.jl
+++ b/test/inference.jl
@@ -778,6 +778,25 @@ function break_21369()
 end
 @test_throws ErrorException break_21369()  # not TypeError
 
+# issue #17003
+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
+
 # issue #20847
 function segfaultfunction_20847{N, T}(A::Vector{NTuple{N, T}})
     B = reinterpret(T, A, (N, length(A)))