typeintersect: conservative typevar subtitution during `finish_unionall`#54465

Merged

N5N3 merged 2 commits into

JuliaLang:masterfrom

N5N3:nothrow_tvar_subtitution

May 16, 2024

Commits on May 14, 2024

typeintersect: conservative typevar subtitution during `finish_unionall`
N5N3
committed

Commits on May 15, 2024

resolve the ambiguity of fused `Union{}` in nothrow path
N5N3
committed