julia

83d18fba - Intersect: try normal+reverse+existential subtyping during intersection (#57476)

Intersect: try normal+reverse+existential subtyping during intersection (#57476) Typevars are all existential (in the sense of variable lb/ub) during intersection. This fix is somehow costly as we have to perform 3 times check to prove a false result. But a single existential <: seems too dangerous as it cause many circular env in the past. fix #57429 fix #41561 (cherry picked from commit beb928bfec532c8f038e113df2960c7b9609edb6)