Different type annotations when function is defined once on Julia nightly

[Zentrik]

Note ::Type{Int64} is omitted the first time.

julia> versioninfo()
Julia Version 1.11.0-DEV.1226
Commit 1d3dd859ff8 (2024-01-07 22:06 UTC)
Build Info:
  Official https://julialang.org/ release
Platform Info:
  OS: Linux (x86_64-linux-gnu)
  CPU: 16 × AMD Ryzen 7 1700 Eight-Core Processor
  WORD_SIZE: 64
  LLVM: libLLVM-15.0.7 (ORCJIT, znver1)
Threads: 1 default, 0 interactive, 1 GC (on 16 virtual cores)

julia> f(x) = Int(x)
f (generic function with 1 method)

julia> using Cthulhu

julia> @descend f(1)
f(x) @ Main REPL[2]:1
1 f(x::Int64)::Int64 = Int(x::Int64)
Select a call to descend into or ↩ to ascend. [q]uit. [b]ookmark.
Toggles: [w]arn, [h]ide type-stable statements, [t]ype annotations, [s]yntax highlight for Source/LLVM/Native, [j]ump to source always.
Show: [S]ource code, [A]ST, [T]yped code, [L]LVM IR, [N]ative code
Actions: [E]dit source code, [R]evise and redisplay
 • Int(x::Int64)
   ↩

julia> f(x) = Int(x)
f (generic function with 1 method)

julia> @descend f(1)
f(x) @ Main REPL[5]:1
1 f(x::Int64)::Int64 = Int::Type{Int64}(x::Int64)
Select a call to descend into or ↩ to ascend. [q]uit. [b]ookmark.
Toggles: [w]arn, [h]ide type-stable statements, [t]ype annotations, [s]yntax highlight for Source/LLVM/Native, [j]ump to source always.
Show: [S]ource code, [A]ST, [T]yped code, [L]LVM IR, [N]ative code
Actions: [E]dit source code, [R]evise and redisplay
 • Int::Type{Int64}(x::Int64)
   ↩

[Zentrik]

Ok it seems that code_typed(f, (Int,); optimize=false) differs between the two definitions. So this likely is a Julia bug if it is one.

[Zentrik]

This isn't planned to be fixed on the Julia side, JuliaLang/julia#52796. It should be fixable by Cthulhu as it seems the problem is there is an indirection in the Int call.