julia

a9466312 - typeintersect: conservative typevar subtitution during `finish_unionall` (#54465)

typeintersect: conservative typevar subtitution during `finish_unionall` (#54465) This commit adds a nothrow path for type instantiation, which eliminates the bad `Union` elements from the result rather than returns the bottom type. close #54404