Parametric-type related crash on Julia 1.7+

[frankwswang]

MWE:

struct T1{T}
    m::T
end

struct T2{L}
    tuple::NTuple{3, Int}

    function T2{L}(t::NTuple{3, Int}) where {L}
        new{sum(t)}(t)
    end
end

struct T3{L, N}
    a::Tuple{T2{L}}
    param::NTuple{N, T1}
    function T3(a::Tuple{T2{L}}, pars::NTuple{N, T1}) where {L, N}
        new{L, N}(a, pars)
    end
end

function f(ts)
    pars = []
    for t in ts
        append!(pars, t.param)
    end
    pars
end

t1_1 = ((T1{Float64}(1.0), T1{Int}(2)))

t1_2 = ((T1{Float64}(1.2), T1{Int}(1)))

t2_1 = (T2{1}((1,0,0)),)

t2_2 = (T2{2}((2,0,0)),)

[T3(t2_1, t1_1), T3(t2_2, t1_2)] |> f

Original Discourse discussion is here.

[vtjnash]

Sounds similar to #39088

Sounds similar to #44311 rather

[frankwswang]

I think this problem is still not fixed on the Mac OS platform because, from the result of my GitHub CI, the testing code that was previously broken due to this bug still can not successfully run on the Mac OS platform (the same code on the Linux platform was fixed though). Unfortunately, I don't have a Mac machine myself so I couldn't test it locally. If anyone could just try running the aforementioned MWE with the latest nightly version of Julia on their Mac machine to double-check, that would be very helpful. Thanks!

[KristofferC]

Did you check that the mac nightly was at the same commit as the Linux one?

[frankwswang]

Did you check that the mac nightly was at the same commit as the Linux one?

Thanks! I just checked and the Mac OS one indeed wasn't running the latest commit (62e0729) of Julia as the Linux one was. Do you know why this is the case since they are both specified as "nightly" in the GitHub action .yml file?

[KristofferC]

I guess the macos nightly hasn't updated yet.

[frankwswang]

I guess the macos nightly hasn't updated yet.

Got it. Thanks a lot!