Fuse in_union

N5N3 · N5N3 · commit 6d5ec2db79e4 · 2022-08-10T15:22:06.000+08:00
diff --git a/src/subtype.c b/src/subtype.c
@@ -1172,7 +1172,7 @@ static int subtype(jl_value_t *x, jl_value_t *y, jl_stenv_t *e, int param)
         x = pick_union_element(x, e, 0);
     }
     if (jl_is_uniontype(y)) {
-        if (x == ((jl_uniontype_t*)y)->a || x == ((jl_uniontype_t*)y)->b)
+        if (in_union(y, x))
             return 1;
         if (jl_is_unionall(x))
             return subtype_unionall(y, (jl_unionall_t*)x, e, 0, param);

Original file line number	Diff line number	Diff line change
`@@ -1172,7 +1172,7 @@ static int subtype(jl_value_t x, jl_value_t y, jl_stenv_t *e, int param)`
`1172`	`1172`	`x = pick_union_element(x, e, 0);`
`1173`	`1173`	`}`
`1174`	`1174`	`if (jl_is_uniontype(y)) {`
`1175`		`- if (x == ((jl_uniontype_t)y)->a \|\| x == ((jl_uniontype_t)y)->b)`
	`1175`	`+ if (in_union(y, x))`
`1176`	`1176`	`return 1;`
`1177`	`1177`	`if (jl_is_unionall(x))`
`1178`	`1178`	`return subtype_unionall(y, (jl_unionall_t*)x, e, 0, param);`