Subtype: skip slow-path in local_∀_∃_subtype if inputs contain no ∃ typevar.#53429
Merged
N5N3 merged 1 commit intoJuliaLang:masterfrom N5N3:skipslowFeb 22, 2024
+38-5
local_∀_∃_subtype if inputs contain no ∃ typevar.#53429