test for JuliaLang#18348

mauro3 · mauro3 · commit 718c4789f490 · 2017-01-17T18:12:48.000+01:00
diff --git a/test/inference.jl b/test/inference.jl
@@ -501,3 +501,8 @@ immutable MyType12580{T}<:AbstractMyType12580{T} end
 tpara{A<:AbstractMyType12580}(::Type{A}) = tpara(supertype(A))
 tpara{I}(::Type{AbstractMyType12580{I}}) = I
 @test tpara(MyType12580{true})
+
+# Issue #18348
+f18348{T<:Any}(::Type{T}, x) = 1
+f18348{T<:Any}(::Type{T}, x::T) = 2
+@test length(methods(f18348, Tuple{Type{Any},Any})) == 1
