segmentation fault by wrong type-var input in 1.9+

[lmiq]

This crashes Julia 1.9 (rc1 or rc2) with a segmentation fault:

foo(a::AbstractArray{T, N}) where {N, T<:Tuple{zeros(Int,Val(N))...}} = a

In 1.8 or 1.6 it gives:

julia> foo(a::AbstractArray{T, N}) where {N, T<:Tuple{zeros(Int,Val(N))...}} = a
ERROR: UndefVarError: x not defined
Stacktrace:
 [1] Val{N}()
   @ Base ./essentials.jl:712
 [2] Val(x::TypeVar)
   @ Base ./essentials.jl:714
 [3] top-level scope
   @ REPL[1]:1

(which is a strange error message, but that's another problem)

[KristofferC]

I think this is a dup of #49203

[fingolfin]

This works in Julia 1.9.1:

julia> foo(a::AbstractArray{T, N}) where {N, T<:Tuple{zeros(Int,Val(N))...}} = a
ERROR: TypeError: in new, expected DataType, got Type{Val{N}}
Stacktrace:
 [1] Val
   @ ./essentials.jl:799 [inlined]
 [2] Val(x::TypeVar)
   @ Base ./essentials.jl:801
 [3] top-level scope
   @ REPL[1]:1