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

… -> convert call
JuliaLang · May 29, 2017 · fe180b1 · fe180b1
1 parent 62e3059
commit fe180b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/inference.jl b/base/inference.jl
@@ -1539,7 +1539,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)