active_reg_inner crashes on Tuple{X} where {X}

[mofeing]

If you run this code:

Enzyme.Compiler.active_reg_inner(Vector{Tuple{Code}} where {Code<:Integer}, (), nothing)

it fails like this:

UndefVarError: `T` not defined

Stacktrace:
 [1] ptreltype(::Type{Array{Tuple{Code}, 1} where Code<:Integer})
   @ Enzyme.Compiler ~/.julia/packages/Enzyme/HXYPU/src/compiler.jl:519
 [2] active_reg_inner
   @ ~/.julia/packages/Enzyme/HXYPU/src/compiler.jl:643 [inlined]
 [3] active_reg_inner (repeats 2 times)
   @ ~/.julia/packages/Enzyme/HXYPU/src/compiler.jl:603 [inlined]
 [4] active_reg_inner(::Type{Array{Tuple{Code}, 1} where Code<:Integer}, seen::Tuple{}, world::Nothing)
   @ Enzyme.Compiler ~/.julia/packages/Enzyme/HXYPU/src/compiler.jl:603
 [5] top-level scope
   @ ~/Developer/k-local-gradient-descent/notebooks/jl_notebook_cell_df34fa98e69747e1a8f8a730347b8e2f_X53sZmlsZQ

[wsmoses]

julia> T = (Vector{Tuple{Code}} where {Code<:Integer})
Array{Tuple{Code}, 1} where Code<:Integer

julia> eltype(T)
Any

julia> @inline ptreltype(::Type{Array{T,N}}) where {T,N} = T
ptreltype (generic function with 1 method)

julia> ptreltype(T)
ERROR: UndefVarError: `T` not defined
Stacktrace:
 [1] ptreltype(::Type{Array{Tuple{Code}, 1} where Code<:Integer})
   @ Main ./REPL[6]:1
 [2] top-level scope
   @ REPL[7]:1

[wsmoses]

seems like a julia issue: JuliaLang/julia#55933

[mofeing]

The fix has been identified and seems like it will appear in Julia 1.10.6 1.10.7 (didn't get in the cut by a matter of a couple of days)

Should we close this?

[wsmoses]

Was a julia bug which is fixed, closing