Stack overflow during type inference

[vchuravy]

               _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.10.4 (2024-06-04)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |

julia> f(::Val{1000}) = 1000
f (generic function with 1 method)

julia> f(::Val{N}) where N = f(Val(N-1))
f (generic function with 2 methods)

julia> f(Val(2000))
Internal error: stack overflow in type inference of f(Base.Val{2000}).
This might be caused by recursion over very long tuples or argument lists.
1000

In 1.9 this didn't print an error.

[christiangnrd]

This seems to only error on x86. It errors on x86 Windows and Linux , but not ARM MacOS or Linux

[oscardssmith]

wait, that's way more cursed. how is type inference platform dependent?

[KristofferC]

Size of stack frames and how big the stack can be before overflowing is platform dependent, no?

[christiangnrd]

Ok yes calling f with a higher values also errors on my ARM devices.

[christiangnrd]

Bisected to #48913.

[bvdmitri]

I've encountered this error while debugging @testitem in the preview version of VSCode.

The test process crashed immediately after clicking the button with

StackOverflowError()
Internal error: stack overflow in type inference of handle_err(Any, TestItemServer.JuliaInterpreter.Frame, StackOverflowError).
This might be caused by recursion over very long tuples or argument lists.

julia> versioninfo()
Julia Version 1.10.4
Commit 48d4fd48430 (2024-06-04 10:41 UTC)
Build Info:
  Official https://julialang.org/ release
Platform Info:
  OS: macOS (arm64-apple-darwin22.4.0)
  CPU: 11 × Apple M3 Pro
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-15.0.7 (ORCJIT, apple-m1)
Threads: 1 default, 0 interactive, 1 GC (on 5 virtual cores)

[nsajko]

@bvdmitri the cause behind your stack overflow in type inference could be different, though? If you're looking for a quick fix, try increasing the stack size, xref #54998

[bvdmitri]

Well, I have no idea what is the cause. The error clearly says that the problem is related to TestItemServer.JuliaInterpreter.Frame and the error message is the same as in this topic. It just crashed the VSCode extension when I tried to debug one of the @testitems. I just thought it would make this issue more relevant

[nsajko]

Fixed by #55575