exclude types with free variables from type_morespecific (#35555)

JuliaLang · Apr 27, 2020 · 0cedde6 · 0cedde6 · nanosoldier · Apr 27, 2020
1 parent 4c19f96
commit 0cedde6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/subtype.c b/src/subtype.c
@@ -3847,6 +3847,8 @@ JL_DLLEXPORT int jl_type_morespecific(jl_value_t *a, jl_value_t *b)
 {
     if (obviously_disjoint(a, b, 1))
         return 0;
+    if (jl_has_free_typevars(a) || jl_has_free_typevars(b))
+        return 0;
     if (jl_subtype(b, a))
         return 0;
     if (jl_subtype(a, b))