Type inference takes forever in GenericLinearAlgebra.jl

[Keno]

Looking through PkgEval logs, I see a timeout in GenericLinearAlgebra.jl and indeed

using GenericLinearAlgebra
code_typed(GenericLinearAlgebra.cholUnblocked!, Tuple{Array{Base.Complex{Float32}, 2}, Type{Base.Val{:L}}})
# hangs

This is on master (looking into 1.2 now). If I let it running for close to an hour, it eventually ends up with a StackOverflowError at:

 [120] abstract_call(::Any, ::Nothing, ::Array{Any,1}, ::Array{Any,1}, ::Core.Compiler.InferenceState, ::Int64) at ./compiler/abstractinterpretation.jl:815
 [121] abstract_apply(::Any, ::Array{Any,1}, ::Array{Any,1}, ::Core.Compiler.InferenceState, ::Int64) at ./compiler/abstractinterpretation.jl:558
 [122] abstract_call(::Any, ::Array{Any,1}, ::Array{Any,1}, ::Array{Any,1}, ::Core.Compiler.InferenceState, ::Int64) at ./compiler/abstractinterpretation.jl:606
 [123] abstract_call(::Any, ::Array{Any,1}, ::Array{Any,1}, ::Array{Any,1}, ::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:605
 [124] abstract_eval_call(::Array{Any,1}, ::Array{Any,1}, ::Array{Any,1}, ::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:844
 [125] abstract_eval(::Any, ::Array{Any,1}, ::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:914
 [126] typeinf_local(::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:1171
 [127] typeinf_nocycle(::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:1227
 [128] typeinf(::Core.Compiler.InferenceState) at ./compiler/typeinfer.jl:12
 [129] abstract_call_method_with_const_args(::Any, ::Any, ::Array{Any,1}, ::Core.SimpleVector, ::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:223
 [130] abstract_call_gf_by_type(::Any, ::Array{Any,1}, ::Any, ::Core.Compiler.InferenceState, ::Int64) at ./compiler/abstractinterpretation.jl:116
 [131] abstract_call(::Any, ::Array{Any,1}, ::Array{Any,1}, ::Array{Any,1}, ::Core.Compiler.InferenceState, ::Int64) at ./compiler/abstractinterpretation.jl:815
 [132] abstract_call(::Any, ::Array{Any,1}, ::Array{Any,1}, ::Array{Any,1}, ::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:605
 [133] abstract_eval_call(::Array{Any,1}, ::Array{Any,1}, ::Array{Any,1}, ::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:844
 [134] abstract_eval(::Any, ::Array{Any,1}, ::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:914
 [135] typeinf_local(::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:1157
 [136] typeinf_nocycle(::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:1227
 [137] typeinf(::Core.Compiler.InferenceState) at ./compiler/typeinfer.jl:12
 [138] abstract_call_method_with_const_args(::Any, ::Any, ::Array{Any,1}, ::Core.SimpleVector, ::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:223
 [139] abstract_call_gf_by_type(::Any, ::Array{Any,1}, ::Any, ::Core.Compiler.InferenceState, ::Int64) at ./compiler/abstractinterpretation.jl:116
 [140] abstract_call(::Any, ::Array{Any,1}, ::Array{Any,1}, ::Array{Any,1}, ::Core.Compiler.InferenceState, ::Int64) at ./compiler/abstractinterpretation.jl:815
 [141] abstract_call(::Any, ::Array{Any,1}, ::Array{Any,1}, ::Array{Any,1}, ::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:605
 [142] abstract_eval_call(::Array{Any,1}, ::Array{Any,1}, ::Array{Any,1}, ::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:844
 [143] abstract_eval(::Any, ::Array{Any,1}, ::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:914
 [144] typeinf_local(::Core.Compiler.InferenceState) at ./compiler/abstractinterpretation.jl:1171
 ... (the last 9 lines are repeated 1122 more times)

[Keno]

Also happens in 1.2, adding to the milestone.

[Keno]

Reduced:

julia> function foo(a::UnitRange)
           foo(first(a)+1:last(a))
           a
       end

julia> foo(n::Int) = foo(1:n)
foo (generic function with 2 methods)

julia> code_typed(foo, Tuple{Int})
# Hangs