workaround for #40048, stack overflow in type intersection

JuliaLang · Jun 9, 2021 · 9a98e39 · 9a98e39
1 parent 482d0ac
commit 9a98e39
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/gf.c b/src/gf.c
@@ -1597,6 +1597,8 @@ static int jl_type_intersection2(jl_value_t *t1, jl_value_t *t2, jl_value_t **is
     *isect = jl_type_intersection_env_s(t1, t2, NULL, &is_subty);
     if (*isect == jl_bottom_type)
         return 0;
+    // TODO: This extra call to intersection sometimes hits bad cases, e.g. issue #40048.
+    /*
     if (is_subty)
         return 1;
     // TODO: sometimes type intersection returns types with free variables
@@ -1613,6 +1615,7 @@ static int jl_type_intersection2(jl_value_t *t1, jl_value_t *t2, jl_value_t **is
     if (jl_types_egal(*isect2, *isect)) {
         *isect2 = NULL;
     }
+    */
     return 1;
 }