JuliaCrash

This code crashes Julia v1.7, 1.8, 1.9, 1.10.5, 1.11.1, but got fixed in JuliaLang/julia#56264.

for M ∈ [42]
    try
        [] isa Vector{<:3}
    catch e
        if e isa TypeError
            3
        else
            7
        end
    end
end