exclude types with free variables from type_morespecific (#35555)

JeffBezanson · KristofferC · commit 9651235ad7dd · 2020-05-10T11:53:24.000+02:00
(cherry picked from commit 0cedde6)
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))

Original file line number	Diff line number	Diff line change
`@@ -3761,6 +3761,8 @@ JL_DLLEXPORT int jl_type_morespecific(jl_value_t a, jl_value_t b)`
`3761`	`3761`	`{`
`3762`	`3762`	`if (obviously_disjoint(a, b, 1))`
`3763`	`3763`	`return 0;`
	`3764`	`+ if (jl_has_free_typevars(a) \|\| jl_has_free_typevars(b))`
	`3765`	`+ return 0;`
`3764`	`3766`	`if (jl_subtype(b, a))`
`3765`	`3767`	`return 0;`
`3766`	`3768`	`if (jl_subtype(a, b))`