Fix inference for splatting numbers (Int32/64 and Float32/64)

Fixes #22291
JuliaLang · Jun 17, 2017 · bef89bd · bef89bd
1 parent 44a9a19
commit bef89bd
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/base/inference.jl b/base/inference.jl
@@ -1830,6 +1830,8 @@ function precise_container_type(arg::ANY, typ::ANY, vtypes::VarTable, sv::Infere
         end
     elseif tti0 <: Array
         return Any[Vararg{eltype(tti0)}]
+    elseif tti0 <: corenumtype
+        return Any[tti0]
     else
         return Any[abstract_iteration(typ, vtypes, sv)]
     end

diff --git a/test/core.jl b/test/core.jl
@@ -5065,3 +5065,8 @@ f_isdefined_cl_6() = (local x; () -> @isdefined x)
 @test !f_isdefined_cl_4()
 @test f_isdefined_cl_5()()
 @test !f_isdefined_cl_6()()
+
+# issue #22291
+wrap22291(ind) = (ind...)
+@test @inferred(wrap22291(1)) == (1,)
+@test @inferred(wrap22291((1, 2))) == (1, 2)