exclude types with free variables from type_morespecific (#35555)

(cherry picked from commit 0cedde6)
JuliaLang · May 10, 2020 · 9651235 · 9651235
1 parent 75c7c60
commit 9651235
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/subtype.c b/src/subtype.c
@@ -3761,6 +3761,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))