Also check eqc in intersect_typevar (fixes #11367)

JuliaLang · May 22, 2015 · 65cc7f3 · 65cc7f3
1 parent bcf5361
commit 65cc7f3
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/src/jltypes.c b/src/jltypes.c
@@ -750,6 +750,16 @@ static jl_value_t *intersect_typevar(jl_tvar_t *a, jl_value_t *b,
                     break;
                 }
             }
+            for(i=0; i < eqc->n; i+=2) {
+                if (eqc->data[i] == b && !jl_is_typevar(eqc->data[i+1])) {
+                    jl_value_t *ti = jl_type_intersection((jl_value_t*)a, eqc->data[i+1]);
+                    if (ti == (jl_value_t*)jl_bottom_type) {
+                        JL_GC_POP();
+                        return ti;
+                    }
+                    break;
+                }
+            }
         }
         extend((jl_value_t*)a, b, penv);
         if (jl_is_typevar(b)) {

diff --git a/test/core.jl b/test/core.jl
@@ -2855,3 +2855,9 @@ type B11136 end
 let T = TypeVar(:T, true), TB = TypeVar(:T, B11136, true)
     testintersect(Tuple{T, T}, Tuple{A11136, TB}, Bottom)
 end
+
+# issue #11367
+abstract Foo11367
+let T1 = TypeVar(:T1, true), T2 = TypeVar(:T2, Foo11367, true)
+    testintersect(Tuple{T1, T1}, Tuple{Type{BigInt}, T2}, Bottom)
+end