allow unlimited inference through the generic (::Type)(x) constructor…

… -> convert call
JuliaLang · May 24, 2017 · d87fe81 · d87fe81
1 parent ce1d03c
commit d87fe81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/inference.jl b/base/inference.jl
@@ -1537,7 +1537,7 @@ function abstract_call_method(method::Method, f::ANY, sig::ANY, sparams::SimpleV
     sigtuple = unwrap_unionall(sig)::DataType
 
     tm = _topmod(sv)
-    if !istopfunction(tm, f, :promote_typeof) && !istopfunction(tm, f, :getindex)
+    if !istopfunction(tm, f, :promote_typeof) && !istopfunction(tm, f, :getindex) && !(method.sig == Tuple{Type, Any})
         # limit argument type tuple growth
         msig = unwrap_unionall(method.sig)
         lsig = length(msig.parameters)