Fix #12476

JuliaLang · Aug 9, 2015 · b3dd473 · b3dd473
1 parent 783f870
commit b3dd473
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/base/inference.jl b/base/inference.jl
@@ -625,7 +625,9 @@ end
 function abstract_call_gf(f, fargs, argtype, e)
     argtypes = argtype.parameters
     tm = _topmod()
-    if length(argtypes)>1 && (argtypes[1] <: Tuple) && argtypes[2]===Int
+    if length(argtypes)>1 && argtypes[2]===Int && (argtypes[1] <: Tuple ||
+       (isa(argtypes[1], DataType) && isdefined(Main, :Base) && isdefined(Main.Base, :Pair) &&
+        (argtypes[1]::DataType).name === Main.Base.Pair.name))
         # allow tuple indexing functions to take advantage of constant
         # index arguments.
         if istopfunction(tm, f, :getindex)

diff --git a/test/core.jl b/test/core.jl
@@ -3193,3 +3193,10 @@ let x = (1,2)
     @eval f12517() = Val{$x}
     @test f12517() === Val{(1,2)}
 end
+
+# issue #12476
+function f12476(a)
+    (k, v) = a
+    v
+end
+@inferred f12476(1.0 => 1)