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

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