Skip to content

Intersect: try normal+reverse+existential subtyping during intersection#57476

Open
N5N3 wants to merge 1 commit intoJuliaLang:masterfrom N5N3:trial
+118-42

Commits

Commits on Feb 20, 2025