diff --git a/test/inference.jl b/test/inference.jl
index cda2ff4ed65cb1..3cbaac3d25f7e6 100644
--- 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