fix #39862, error in inference when trying to apply a non-type (#40047)

JuliaLang · Mar 16, 2021 · 845a52b · 845a52b
1 parent 046e2cf
commit 845a52b
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
@@ -1144,7 +1144,7 @@ function apply_type_tfunc(@nospecialize(headtypetype), @nospecialize args...)
         end
         return allconst ? Const(ty) : Type{ty}
     end
-    istuple = (headtype == Tuple)
+    istuple = isa(headtype, Type) && (headtype == Tuple)
     if !istuple && !isa(headtype, UnionAll)
         return Union{}
     end

diff --git a/test/compiler/inference.jl b/test/compiler/inference.jl
@@ -2985,3 +2985,8 @@ g38888() = S38888(Base.inferencebarrier(3), nothing)
 # issue #38971
 f28971() = (1, [2,3]...)::Tuple{Int,Int,Int}
 @test @inferred(Tuple{Int,Vararg{Int}}, f28971()) == (1, 2, 3)
+
+# issue #39862
+let f() = sin{Int}()
+    @test Base.return_types(f, ()) == Any[Union{}]
+end