suboptimal return type inference for reverse(::Tuple) on v1.11 and master

[nsajko]

On v1.10:

julia> Core.Compiler.return_type(reverse, Tuple{Tuple})
Tuple

julia> Core.Compiler.return_type(reverse, Tuple{Tuple{Vararg{Int}}})
Tuple{Vararg{Int64}}

julia> versioninfo()
Julia Version 1.10.3
Commit 0b4590a5507 (2024-04-30 10:59 UTC)
Build Info:
  Official https://julialang.org/ release
Platform Info:
  OS: Linux (x86_64-linux-gnu)
  CPU: 8 × AMD Ryzen 3 5300U with Radeon Graphics
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-15.0.7 (ORCJIT, znver2)
Threads: 1 default, 0 interactive, 1 GC (on 8 virtual cores)

On v1.11 and master:

julia> Core.Compiler.return_type(reverse, Tuple{Tuple})
Any

julia> Core.Compiler.return_type(reverse, Tuple{Tuple{Vararg{Int}}})
Any

julia> versioninfo()
Julia Version 1.11.0-beta1
Commit 08e1fc0abb9 (2024-04-10 08:40 UTC)
Build Info:
  Official https://julialang.org/ release
Platform Info:
  OS: Linux (x86_64-linux-gnu)
  CPU: 8 × AMD Ryzen 3 5300U with Radeon Graphics
  WORD_SIZE: 64
  LLVM: libLLVM-16.0.6 (ORCJIT, znver2)
Threads: 1 default, 0 interactive, 1 GC (on 8 virtual cores)

Xref #54462, seems similar.

[KristofferC]

Probably regressed in #50113.

[martinholters]

Would probably be fixed by #54528?

[martinholters]

Would probably be fixed by #54528?

Partially. Now (with #54528):

julia> Core.Compiler.return_type(reverse, Tuple{Tuple})
Tuple

julia> Core.Compiler.return_type(reverse, Tuple{Tuple{Vararg{Int}}})
Tuple