exclude types with free variables from type_morespecific (#35555)

JeffBezanson · web-flow · commit 0cedde636ed8 · 2020-04-27T13:47:56.000-04:00
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))

Original file line number	Diff line number	Diff line change
`@@ -3847,6 +3847,8 @@ JL_DLLEXPORT int jl_type_morespecific(jl_value_t a, jl_value_t b)`
`3847`	`3847`	`{`
`3848`	`3848`	`if (obviously_disjoint(a, b, 1))`
`3849`	`3849`	`return 0;`
	`3850`	`+ if (jl_has_free_typevars(a) \|\| jl_has_free_typevars(b))`
	`3851`	`+ return 0;`
`3850`	`3852`	`if (jl_subtype(b, a))`
`3851`	`3853`	`return 0;`
`3852`	`3854`	`if (jl_subtype(a, b))`