inference: fix istuple check in apply_type_tfunc (#52585)

close #51927
JuliaLang · Dec 20, 2023 · 58fac69 · 58fac69
1 parent 69d5537
commit 58fac69
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/base/compiler/tfuncs.jl b/base/compiler/tfuncs.jl
@@ -1743,7 +1743,7 @@ const _tvarnames = Symbol[:_A, :_B, :_C, :_D, :_E, :_F, :_G, :_H, :_I, :_J, :_K,
  end
  return allconst ? Const(ty) : Type{ty}
  end
- istuple = isa(headtype, Type) && (headtype == Tuple)
+ istuple = headtype === Tuple
  if !istuple && !isa(headtype, UnionAll) && !isvarargtype(headtype)
  return Union{}
  end

diff --git a/test/compiler/inference.jl b/test/compiler/inference.jl
@@ -5609,3 +5609,8 @@ let x = 1, _Any = Any
  foo27031() = bar27031((x, 1.0), Val{_Any})
  @test foo27031() == "OK"
 end
+
+# Issue #51927
+let 𝕃 = Core.Compiler.fallback_lattice
+ @test apply_type_tfunc(𝕃, Const(Tuple{Vararg{Any,N}} where N), Int) == Type{NTuple{_A, Any}} where _A
+end